2004. 33 [SP05] [SS05] [TK03] [TMY05] [VWP05] [WKD03] [WW05] Mark Shields and Simon Peyton Jones. Lexically scoped type variables. Microsoft Research. Available at http://research.microsoft.com/Users/simonpj/ papers/scoped-tyvars (0)

by cis upenn edu