Generic Unification via Two-Level Types and Parameterized Modules.

Tim Sheard Generic Unification via Two-Level Types and Parameterized Modules. 86-97 2001 ICFP db/conf/icfp/icfp2001.html#Sheard01