Directly reflective meta-programming

@article{Stump2009DirectlyRM,
  title={Directly reflective meta-programming},
  author={Aaron Stump},
  journal={Higher-Order and Symbolic Computation},
  year={2009},
  volume={22},
  pages={115-144}
}
  • Aaron Stump
  • Published 2009
  • Computer Science
  • Higher-Order and Symbolic Computation
Abstract Existing meta-programming languages operate on encodings of programs as data. This paper presents a new meta-programming language, based on an untyped lambda calculus, in which structurally reflective programming is supported directly, without any encoding. The language features call-by-value and call-by-name lambda abstractions, as well as novel reflective features enabling the intensional manipulation of arbitrary program terms. The language is scope safe, in the sense that variables… Expand
24 Citations
Towards typing for small-step direct reflection
  • 3
  • PDF
Modelling Homogeneous Generative Meta-Programming
  • 5
  • PDF
Programming in the λ-Calculus: From Church to Scott and Back
  • J. M. Jansen
  • Computer Science
  • The Beauty of Functional Code
  • 2013
  • 17
Modular domain-specific language components in scala
  • 24
  • PDF
A functional approach to generic programming using adaptive traversals
  • PDF
Reflective embedding of domain-specific languages
  • 1
  • PDF
Reflection in Agda
  • 14
Incorporating Quotation and Evaluation Into Church's Type Theory
  • W. Farmer
  • Computer Science, Mathematics
  • Inf. Comput.
  • 2018
  • 6
  • PDF
Formal foundations for GADTs in Scala
...
1
2
3
...

References

SHOWING 1-10 OF 58 REFERENCES
Meta-programming with names and necessity
  • 75
  • PDF
A simple reflective interpreter
  • 35
Multi-Stage Programming: Its Theory and Applications
  • 208
  • PDF
Types and programming languages
  • 2,385
  • PDF
Metalevel computation in Maude
  • 42
Mechanized Metatheory for the Masses: The PoplMark Challenge
  • 331
  • PDF
Revised5 Report on the Algorithmic Language Scheme
  • 564
  • PDF
Higher-order abstract syntax
  • 776
  • PDF
Revised5 report on the algorithmic language scheme
  • 217
  • PDF
...
1
2
3
4
5
...