Metaprogramming is the process of writing computer programs that treat programs as data,
enabling them to analyze or transform existing programs or generate new ones. While the …

Software engineering demands generality and abstraction, performance demands
specialization and concretization. Generative programming can provide both, but the effort …

Good software engineering practice demands generalization and abstraction, whereas high
performance demands specialization and concretization. These goals are at odds, and …

MetaOCaml is a superset of OCaml extending it with the data type for program code and
operations for constructing and executing such typed code values. It has been used for …

The aim of staged compilation is to enable metaprogramming in a way such that we have
guarantees about the well-formedness of code output, and we can also mix together object …

The simplest implementation of a domain-specific language is to embed it in an existing
language using operator overloading. This way, the DSL can inherit parsing, syntax and …

First-class control operators provide programmers with an expressive and efficient means for
manipulating control through reification of the current control state as a first-class object …

Generic programming libraries such as Scrap Your Boilerplate eliminate the need to write
repetitive code, but typically introduce significant performance overheads. This leaves …

Programs expressed in a high-level programming language need to be translated to a low-
level machine dialect for execution. This translation is usually accomplished by a compiler …

Program generation is indispensable. We propose a novel unification of two existing
metaprogramming techniques: multi-stage programming and hygienic generative macros …