Practical type inference for arbitrary-rank types (2005)

Cached

Download Links

by Dimitrios Vytiniotis , Stephanie Weirich , Simon Peyton-jones
Venue:Journal of Functional Programming
Citations:92 - 23 self