pfenning89

F. Pfenning. Elf: A Language for Logic Definition and Verified Metaprogramming. In Proc. 1989 IEEE 4th Annual Symp. on Logic in Computer Science (LICS), Pages 313-322, 1989.

Keyword

[ Typetheory ]

Contact

F. Pfenning

BibTex Reference

@InProceedings{pfenning89,
   Author = {Pfenning, F.},
   Title = {Elf: A Language for Logic Definition and Verified Metaprogramming},
   BookTitle = {Proc. 1989 IEEE 4th Annual Symp. on Logic in Computer Science (LICS)},
   Pages = {313--322},
   Publisher = {IEEE Computer Society Press},
   Year = {1989}
}

EndNote Reference [help]

Get EndNote Reference (.ref)