Directly reflective meta-programming
From MaRDI portal
Publication:848742
DOI10.1007/S10990-007-9022-0zbMATH Open1183.68164OpenAlexW2052841998MaRDI QIDQ848742FDOQ848742
Authors: Aaron Stump 
Publication date: 5 March 2010
Published in: Higher-Order and Symbolic Computation (Search for Journal in Brave)
Full work available at URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.489.5018
Recommendations
meta-programmingalpha equivalencechurch encodinglambda calculus, reflectionlanguage implementationMogensen-Scott encodingWand-style fexprs
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Theorem Proving in Higher Order Logics
- Logical frameworks
- Title not available (Why is that?)
- Recursive functions of symbolic expressions and their computation by machine, Part I
- Towards Self-verification of HOL Light
- Meta Reasoning in ACL2
- Title not available (Why is that?)
- Efficient self-interpretation in lambda calculus
- Types and programing languages
- Combinatory logic. Vol. II
- Formal certification of a compiler back-end or: programming a compiler with a proof assistant
- Typed Lambda Calculi and Applications
- Title not available (Why is that?)
- Title not available (Why is that?)
- A polymorphic modal type system for Lisp-like multi-staged languages
- Staged computation with names and necessity
- Title not available (Why is that?)
- Metamathematical extensibility for theorem verifiers and proof-checkers
- Meta-programming with names and necessity
- Title not available (Why is that?)
- Intensional polymorphism in type-erasure semantics
- Title not available (Why is that?)
- Macros as multi-stage computations: type-safe, generative, binding macros in MacroML
- Meta-programming through typeful code representation
Cited In (14)
- Meta-programming through typeful code representation
- Sparrow: towards a new multi-paradigm language
- Title not available (Why is that?)
- Title not available (Why is that?)
- Incorporating quotation and evaluation into Church's type theory
- Incorporating quotation and evaluation into Church's type theory: syntax and semantics
- Run-time manipulation of programs in a statically-typed language
- Meta-programming through typeful code representation
- Programming in the λ-Calculus: From Church to Scott and Back
- Inter-language reflection: a conceptual model and its implementation
- Meta-programming with names and necessity
- A functional approach to generic programming using adaptive traversals
- Encoding the factorisation calculus
- Title not available (Why is that?)
Uses Software
This page was built for publication: Directly reflective meta-programming
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q848742)
