and Emir Paˇsalić. Meta-programming with built-in type equality (2004)

by Tim Sheard
Venue:In Workshop on Logical Frameworks and Meta-Languages (LFM