Two-level types and parameterized modules (2003)

Cached

Download Links

by Tim Sheard , Emir Pasalic
Venue:Journal of Functional Programming
Citations:10 - 0 self