Funcons for HGMP: the fundamental constructs of homogeneous generative meta-programming (short paper)
The PLanCompS project proposes a component-based approach to programming-language development in which fundamental constructs (funcons) are reused across language definitions. Homogeneous Generative Meta-Programming (HGMP) enables writing programs that generate code as data, at run-time or compile-time, for manipulation and staged evaluation. Building on existing formalisations of HGMP, this paper introduces funcons for HGMP and demonstrates their usage in component-based semantics.
|International Conference on Generative Programming: Concepts and Experiences|
van Binsbergen, L.T. (2018). Funcons for HGMP: the fundamental constructs of homogeneous generative meta-programming (short paper). In Proceedings of the ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences (pp. 168–174). doi:10.1145/3278122.3278132