We present a survey of control-flow analysis of functional programs, which has been the
subject of extensive investigation throughout the past 30 years. Analyses of the control flow …

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

The Spineless Tagless G-machine is an abstract machine designed to support non-strict
higher-order functional languages. This presentation of the machine falls into three parts …

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 …

This paper investigates the transformation of v-terms into continuation-passing style (CPS).
We show that by appropriate-expansion of Fischer and Plotkin's two-pass equational speci …

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 …

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

We introduce a positive supercompiler, a version of Turchin's supercompiler maintaining
only positive information during transformation, and using folding without generalization …

We show that standard formulations of intersection type systems are unsound in the
presence of computational effects, and propose a solution similar to the value restriction for …