Commentary by Chris Pressey

This work is distributed under a CC-BY-ND-4.0 license, with the following explicit exception: the ratings may be freely used for any purpose with no limitations.

Partial Evaluation

Tutorial on Online Partial Evaluation

• rating: 3

Definitely a tutorial, but that's good as it's easy to read and makes the basic ideas very clear. Lots of Haskell example code. Illustrates a simple application (specializing a model interpreter, in this case for models of state machines) and some of the pitfalls as well.

Partial Evaluation and Automatic Program Generation

• rating: TODO

.

Partial evaluation : practice and theory

• rating: 1

The introductory articles on partial evaluation are okay, but you can find ones that are at least as good elsewhere, I'm sure; the other articles are mostly about applications and as such seem to have mostly historical interest now.

Tutorial notes on partial evaluation

• rating: 1

A bit dated, but some useful information in this short survey paper. Surely many of the practical applications of "online partial evaluation" have been overtaken by just-in-time (JIT) compilation.

Partial Evaluation of Computation Process—An Approach to a Compiler-Compiler

• rating: classic

.

A partial evaluator for the untyped lambda-calculus

• rating: classic

.

Compile-time calculation - Rosetta Code

• rating: 1

.