Elf: A language for logic de nition and veri ed metaprogramming (1989)

by F Pfenning
Venue:In LICS