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 …

We show that a type system based on the intuitionistic modal logic S4 provides an
expressive framework for specifying and analyzing computation stages in the context of …

We introduce MetaML, a practically motivated, statically typed multi-stage programming
language. MetaML is a “real” language. We have built an implementation and used it to …

We introduce MetaML, a statically-typed multi-stage programming language extending
Nielson and Nielson's two stage notation to an arbitrary number of stages. MetaML extends …

Objective: To assess the effectiveness of nurse led follow up in the management of patients
with lung cancer. Design: Randomised controlled trial. Setting: Specialist cancer hospital …

We present a strikingly simple partial evaluator, that is type-directed and reifies a compiled
program into the text of a residual, specialized program. Our partial evaluator is concise (a …

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

The paper addresses theoretical and practical aspects of implementing multi-stage
languages using abstract syntax trees (ASTs), gensym, and reflection. We present an …

The Curry-Howard isomorphism identifies proofs with typed/spl lambda/-calculus terms, and
correspondingly identifies propositions with types. We show how this isomorphism can be …

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 …