Two-level types and parameterized modules (2003)

Cached

Download Links

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