Two-level types and parameterized modules (0)

by T Sheard, E Pasalic
Venue:Journal of Functional Programming