Software engineers are faced with a dilemma. They want to write general and wellstructured
programs that are flexible and easy to maintain. On the other hand, generality has a price …

Partial evaluation reconciles generality with efficiency by providing automatic specialization
and optimization of programs. Proceeding from a gentle introduction for reaching state-of-the …

This book is written out of a tradition that places special emphasis on the following three
approaches to semantics:–operational semantics,–denotational semantics, and–axiomatic …

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 …

Notions of program dependency arise in many settings: security, partial evaluation, program
slicing, and call-tracking. We argue that there is a central notion of dependency common to …

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 have built the first family of tagless interpretations for a higher-order typed object
language in a typed metalanguage (Haskell or ML) that require no dependent types …

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 …

Tutorial notes on partial evaluation Page 1 Tutorial Notes on Partial Evaluation Charles Consel
Olivier Danvy Pacific Software Research Center Department of Computing and Info. Sciences …

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 …