|
Search the dblp DataBase
Carsten Kehler Holst:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Carsten Kehler Holst, John Hughes
A Loop-Detecting Interpreter for Lazy Programs. [Citation Graph (0, 0)][DBLP] Functional Programming, 1991, pp:164-176 [Conf]
- Carsten Kehler Holst
Finiteness Analysis. [Citation Graph (0, 0)][DBLP] FPCA, 1991, pp:473-495 [Conf]
- Carsten Kehler Holst, Carsten K. Gomard
Partial Evaluation is Fuller Laziness. [Citation Graph (0, 0)][DBLP] PEPM, 1991, pp:223-233 [Conf]
- Peter Holst Andersen, Carsten Kehler Holst
Termination Analysis for Offline Partial Evaluation of a Higher Order Functional Language. [Citation Graph (0, 0)][DBLP] SAS, 1996, pp:67-82 [Conf]
- Torben Æ. Mogensen, Carsten Kehler Holst
Terminology. [Citation Graph (0, 0)][DBLP] New Generation Comput., 1988, v:6, n:2&3, pp:303-307 [Journal]
Search in 0.001secs, Finished in 0.001secs
|