Engineering Proof by Reflection in Agda
- 16 November 2013
- book chapter
- Published by Springer Nature
- p. 157-173
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- The power of Pi2008
- Directly reflective meta-programmingHigher-Order and Symbolic Computation, 2008
- Interactive Theorem Proving and Program Development2004
- Template meta-programming for Haskell2002
- Multi-stage programming with explicit annotations1997
- The calculus of constructionsInformation and Computation, 1988
- Special forms in Lisp1980