Travelled to:1 × Germany
2 × USA
Collaborated with:P.H.Andersen ∅ C.K.Gomard
Talks about:partial (2) analysi (2) evalu (2) function (1) languag (1) termin (1) offlin (1) higher (1) fuller (1) order (1)
Person: Carsten Kehler Holst
DBLP: Holst:Carsten_Kehler
Contributed to:
1996
1991
1991Wrote 3 papers:
- SAS-1996-AndersenH #analysis #functional #higher-order #partial evaluation #termination
- Termination Analysis for Offline Partial Evaluation of a Higher Order Functional Language (PHA, CKH), pp. 67–82.
- FPCA-1991-Holst #analysis
- Finiteness Analysis (CKH), pp. 473–495.
- PEPM-1991-HolstG #lazy evaluation #partial evaluation
- Partial Evaluation is Fuller Laziness (CKH, CKG), pp. 223–233.