Skip to main content Link Menu Expand (external link) Document Search Copy Copied

Funcons for HGMP

The fundamental constructs of homogeneous generative meta-programming

By L. Thomas van Binsbergen

Abstract

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.

The full version of this article is available on the author’s personal webpage.

Publication info

DOI
https://doi.org/10.1145/3278122.3278132
Conference
Generative Programming: Concepts and Experiences (GPCE) 2018
Publisher
ACM

Accompanying Haskell tools