Generic unification via two-level types and parameterized modules (2001)

by Tim Sheard
Venue:In ICFP ’01: Proceedings of the Sixth ACM SIGPLAN International Conference on Functional Programming