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

Partial Type Inference for Untyped Functional Programs. - Carsten K. Gomard (LISP and Functional Programming, 1990)

Evaluation Order Analysis for Lazy Data Structures. - Carsten K. Gomard; Peter Sestoft (Functional Programming, 1991)

Globalization and Live Variables. - Carsten K. Gomard; Peter Sestoft (PEPM, 1991)

Partial Evaluation is Fuller Laziness. - Carsten Kehler Holst; Carsten K. Gomard (PEPM, 1991)

A Partial Evaluator for the Untyped lambda-Calculus. - Carsten K. Gomard; Neil D. Jones (J. Funct. Program., 1991)

Compiler Generation by Partial Evaluation: A Case Study. - Carsten K. Gomard; Neil D. Jones (Struct. Program., 1991)

Speedup Analysis in Partial Evaluation: Preliminary Results. - Lars Ole Andersen; Carsten K. Gomard (PEPM, 1992)

Path Analysis for Lazy Data Structures. - Carsten K. Gomard; Peter Sestoft (PLILP, 1992)

A Self-Applicable Partial Evaluator for the Lambda Calculus: Correctness and Pragmatics. - Carsten K. Gomard (ACM Trans. Program. Lang. Syst., 1992)

Partial evaluation and automatic program generation. - Neil D. Jones; Carsten K. Gomard; Peter Sestoft (Prentice Hall, 1993)

Partial Evaluation for the Lambda Calculus. - Neil D. Jones; Carsten K. Gomard; Peter Sestoft (Partial Evaluation, 1998)