Carsten Kehler Holst

According to our database, Carsten Kehler Holst authored at least 7 papers between 1988 and 1996.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1996

Termination Analysis for Offline Partial Evaluation of a Higher Order Functional Language.

Peter Holst Andersen, Carsten Kehler Holst

Proceedings of the Static Analysis, Third International Symposium, 1996

1991

Partial Evaluation is Fuller Laziness.

Carsten Kehler Holst, Carsten K. Gomard

Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation, 1991

Finiteness Analysis.

Carsten Kehler Holst

Proceedings of the Functional Programming Languages and Computer Architecture, 1991

A Loop-Detecting Interpreter for Lazy Programs.

Carsten Kehler Holst, John Hughes

Proceedings of the Functional Programming, 1991

1990

Towards Binding-Time Improvement for Free.

Carsten Kehler Holst, John Hughes

Proceedings of the 1990 Glasgow Workshop on Functional Programming, 1990

Improving Full Laziness.

Carsten Kehler Holst

Proceedings of the 1990 Glasgow Workshop on Functional Programming, 1990

1988

Terminology.

Torben Æ. Mogensen, Carsten Kehler Holst

New Gener. Comput., 1988