Travelled to:1 × Belgium
1 × France
2 × USA
Collaborated with:P.Sestoft L.O.Andersen C.K.Holst ∅
Talks about:partial (3) analysi (2) evalu (2) lazi (2) preliminari (1) structur (1) function (1) variabl (1) speedup (1) program (1)
Person: Carsten K. Gomard
DBLP: Gomard:Carsten_K=
Contributed to:
1992
19921991
1990Wrote 5 papers:
- PEPM-1992-AndersenG #analysis #partial evaluation
- Speedup Analysis in Partial Evaluation: Preliminary Results (LOA, CKG), pp. 1–7.
- PLILP-1992-GomardS #analysis #data type #lazy evaluation
- Path Analysis for Lazy Data Structures (CKG, PS), pp. 54–68.
- PEPM-1991-GomardS
- Globalization and Live Variables (CKG, PS), pp. 166–177.
- PEPM-1991-HolstG #lazy evaluation #partial evaluation
- Partial Evaluation is Fuller Laziness (CKH, CKG), pp. 223–233.
- LFP-1990-Gomard #functional #source code #type inference
- Partial Type Inference for Untyped Functional Programs (CKG), pp. 282–287.