Elf: a language for logic definition and verified metaprogramming
- 7 January 2003
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- Vol. 78, 313-322
- https://doi.org/10.1109/lics.1989.39186
Abstract
No abstract availableThis publication has 11 references indexed in Scilit:
- Computational metatheory in NuprlPublished by Springer Nature ,2005
- Specifying theorem provers in a higher-order logic programming languagePublished by Springer Nature ,2005
- A framework for defining logicsJournal of the ACM, 1993
- Uniform proofs as a foundation for logic programmingAnnals of Pure and Applied Logic, 1991
- A logical analysis of modules in logic programmingThe Journal of Logic Programming, 1989
- Higher-order abstract syntaxPublished by Association for Computing Machinery (ACM) ,1988
- The calculus of constructionsInformation and Computation, 1988
- Constraint logic programmingPublished by Association for Computing Machinery (ACM) ,1987
- Strong normalization for typed terms with surjective pairing.Notre Dame Journal of Formal Logic, 1986
- Edinburgh LCFLecture Notes in Computer Science, 1979