| 1996 |
|---|
| 6 | | Peter Holst Andersen,
Carsten Kehler Holst:
Termination Analysis for Offline Partial Evaluation of a Higher Order Functional Language.
SAS 1996: 67-82 |
| 1992 |
|---|
| 5 | | Rogardt Heldal,
Carsten Kehler Holst,
Philip Wadler:
Functional Programming, Glasgow 1991, Proceedings of the 1991 Glasgow Workshop on Functional Programming, Portree, Isle of Skye, 12-14 August 1991
Springer 1992 |
| 1991 |
|---|
| 4 | | Carsten Kehler Holst:
Finiteness Analysis.
FPCA 1991: 473-495 |
| 3 | | Carsten Kehler Holst,
John Hughes:
A Loop-Detecting Interpreter for Lazy Programs.
Functional Programming 1991: 164-176 |
| 2 | | Carsten Kehler Holst,
Carsten K. Gomard:
Partial Evaluation is Fuller Laziness.
PEPM 1991: 223-233 |
| 1988 |
|---|
| 1 | | Torben Æ. Mogensen,
Carsten Kehler Holst:
Terminology.
New Generation Comput. 6(2&3): 303-307 (1988) |
