Elf: A language for logic definition and verified meta-programming (1989)

by F Pfenning
Venue:In Fourth Annual Symposium on Logic in Computer Science