Meta-programming with built-in type equality (2004)

by T Sheard, E Pasalic
Venue:In International Workshop on Logical Frameworks and MetaLanguages