A Self-Applicable Partial Evaluator for Term Rewriting Systems. - Anders Bondorf (TAPSOFT, Vol.2, 1989)

Automatic Autoprojection of Higher Order Recursive Equations. - Anders Bondorf (ESOP, 1990)

Compiling Laziness by Partial Evaluation. - Anders Bondorf (Functional Programming, 1990)

A Self-Applicable Partial Evaluator for the Lambda Calculus. - Neil D. Jones; Carsten K. Gomard; Anders Bondorf; Olivier Danvy; Torben Æ. Mogensen (ICCL, 1990)

Automatic Autoprojection of Recursive Equations with Global Variables and Abstract Data Types. - Anders Bondorf; Olivier Danvy (Sci. Comput. Program., 1991)

Improving Binding Times Without Explicit CPS-Conversion. - Anders Bondorf (LISP and Functional Programming, 1992)

Logimix: A Self-Applicable Partial Evaluator for Prolog. - Torben Æ. Mogensen; Anders Bondorf (LOPSTR, 1992)

Compiling Actions by Partial Evaluation. - Anders Bondorf; Jens Palsberg (FPCA, 1993)

Efficient Analysis for Realistic Off-Line Partial Evaluation. - Anders Bondorf; Jesper Jørgensen (J. Funct. Program., 1993)

Improving CPS-Based Partial Evaluation: Writing Cogen by Hand. - Anders Bondorf; Dirk Dussart (PEPM, 1994)

Generating Action Compilers by Partial Evaluation. - Anders Bondorf; Jens Palsberg (J. Funct. Program., 1996)