Elf: A Language for Logic Definition and Verified Metaprogramming (1989)

Cached

Download Links

by Frank Pfenning
Venue:In Fourth Annual Symposium on Logic in Computer Science
Citations:78 - 8 self