Terminology. - Torben Æ. Mogensen; Carsten Kehler Holst (New Gener. Comput., 1988)

Improving Full Laziness. - Carsten Kehler Holst (Functional Programming, 1990)

Towards Binding-Time Improvement for Free. - Carsten Kehler Holst; John Hughes 001 (Functional Programming, 1990)

A Loop-Detecting Interpreter for Lazy Programs. - Carsten Kehler Holst; John Hughes 001 (Functional Programming, 1991)

Finiteness Analysis. - Carsten Kehler Holst (FPCA, 1991)

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

Termination Analysis for Offline Partial Evaluation of a Higher Order Functional Language. - Peter Holst Andersen; Carsten Kehler Holst (SAS, 1996)