BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Holst:Carsten_Kehler

Contributed to:

SAS 19961996
FPCA 19911991
PEPM 19911991

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.