Elf: A language for logic definition and verified metaprogramming (1989)

by Frank Pfenning
Venue:In 4th Symp. on Logic in Computer Science