Modelling Homogeneous Generative Meta-Programming

  title={Modelling Homogeneous Generative Meta-Programming},
  author={Martin Berger and Laurence Tratt and Christian Urban},
Homogeneous generative meta-programming (HGMP) enables t he generation of program fragments at compile-time or run-tim e. We present the first foundational calculus which can model powe rful HGMP languages such as Template Haskell. The calculus is designed such that we can gradually enhance it with the feature s needed to model many of the advanced features of real languag es. As a demonstration of the flexibility of our approach, we also pr vide a simple type system for the calculus. 

From This Paper

Figures, tables, and topics from this paper.


Publications referenced by this paper.
Showing 1-10 of 38 references

Programming: Its Theory and Applications

  • W. Taha.Multi-Stage
  • PhD thesis, Oregon Graduate Institute of Science…
  • 1993
Highly Influential
6 Excerpts

, Oleg Kiselyov , and Yukiyoshi Kameyama . Staging beyond terms : Prospects and challenges

  • Jun Inoue, Walid Taha
  • 2016

Farmer . The formalization of syntax - based mathematical algorithms using quotation and evaluation

  • M William
  • 2013

Farmer and Pouya Larjani . Frameworks for reasoning about syntax that utilize quotation and evaluation

  • Ryan Culpepper Matthew Flatt, David Darais, Robert Bruce Findler
  • 2013

Pitts.Nominal Sets: Names and Symmetry in Computer Science

  • A M.
  • 2013
1 Excerpt