Directly reflective meta-programming
Author:
- 4 January 2008
- journal article
- Published by Springer Nature in Higher-Order and Symbolic Computation
- Vol. 22 (2) , 115-144
Abstract
No abstract availableKeywords
This publication has 27 references indexed in Scilit:
- Flexible and Extensible Notations for Modeling LanguagesLecture Notes in Computer Science, 2007
- Staged computation with names and necessityJournal of Functional Programming, 2005
- Meta-programming through typeful code representationJournal of Functional Programming, 2005
- Intensional polymorphism in type-erasure semanticsJournal of Functional Programming, 2002
- Revised 5 report on the algorithmic language schemeACM SIGPLAN Notices, 1998
- Computational reflection in the calculus of constructions and its application to theorem provingLecture Notes in Computer Science, 1997
- A practical soft type system for schemeACM Transactions on Programming Languages and Systems, 1997
- Efficient self-interpretation in lambda calculusJournal of Functional Programming, 1992
- Metamathematical extensibility for theorem verifiers and proof-checkersComputers & Mathematics with Applications, 1979
- Recursive functions of symbolic expressions and their computation by machine, Part ICommunications of the ACM, 1960