Two-level types and parameterized modules (2003)

by Tim Sheard, Emir Pasalic
Venue:Journal of Functional Programming