Formal Specification of Lexically Scoped Type Variables
-
arxiv.org
Clear