In the last ten years the study of meta-programming systems, as formal systems worthy of
study in their own right, has vastly accelerated. In that time a lot has been accomplished, yet …

MetaML is a statically typed functional programming language with special support for
program generation. In addition to providing the standard features of contemporary …

We describe generative programming, an approach to generating customized programming
components or systems, and active libraries, which are based on this approach. In contrast …

This paper proposes and develops the basic theory for a new approach to ty** multi-stage
languages based a notion of environment classifiers. This approach involves explicit but …

With few exceptions, macros have traditionally been viewed as operations on syntax trees or
even on plain strings. This view makes macros seem ad hoc, and is at odds with two …

This paper explores the relationship between C++ templates and partial evaluation.
Templates were designed to support generic programming, but unintentionally provided the …

The majority of processors produced nowadays are targeted at dedicated computing
systems that execute either a single application or a small set of previously known …

By allowing the programmer to write code that can generate code at run-time, meta-
programming offers a powerful approach to program construction. For instance, meta …

Specialization is an automatic approach to customizing a program with respect to
configuration values. In this paper, we present a survey of Tempo, a specializer for the C …

A multi-stage computation is one involving more than one stage of execution. MetaML is a
language for programming multi-stage computations. Previous studies presented big-step …