Travelled to:
1 × Germany
Collaborated with:
C.K.Holst
Talks about:
function (1) partial (1) languag (1) analysi (1) termin (1) offlin (1) higher (1) order (1) evalu (1)
Person: Peter Holst Andersen
DBLP: Andersen:Peter_Holst
Contributed to:
Wrote 1 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.