Elf: a language for logic definition and verified metaprogramming (0)

by F Pfenning
Venue:Proc. 4th Annual IEEE Symposium on Logic in Computer Science