Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Carsten K. Gomard
1990 – 1999
- 1998
[c9]Neil D. Jones, Carsten K. Gomard, Peter Sestoft: Partial Evaluation for the Lambda Calculus. Partial Evaluation 1998: 203-220- 1993
- [b1]Neil D. Jones, Carsten K. Gomard, Peter Sestoft: Partial evaluation and automatic program generation. Prentice Hall international series in computer science, Prentice Hall 1993, ISBN 978-0-13-020249-9, pp. I-XII, 1-415
- 1992
- [j3]Carsten K. Gomard: A Self-Applicable Partial Evaluator for the Lambda Calculus: Correctness and Pragmatics. ACM Trans. Program. Lang. Syst. 14(2): 147-172 (1992)
- [c8]Lars Ole Andersen, Carsten K. Gomard: Speedup Analysis in Partial Evaluation: Preliminary Results. PEPM 1992: 1-7
- [c7]
- 1991
- [j2]Carsten K. Gomard, Neil D. Jones: A Partial Evaluator for the Untyped lambda-Calculus. J. Funct. Program. 1(1): 21-69 (1991)
- [j1]Carsten K. Gomard, Neil D. Jones: Compiler Generation by Partial Evaluation: A Case Study. Structured Programming 12(3): 123-144 (1991)
- [c6]Carsten K. Gomard, Peter Sestoft: Evaluation Order Analysis for Lazy Data Structures. Functional Programming 1991: 112-127
- [c5]
- [c4]
- 1990
- [c3]Neil D. Jones, Carsten K. Gomard, Anders Bondorf, Olivier Danvy, Torben Æ. Mogensen: A Self-Applicable Partial Evaluator for the Lambda Calculus. ICCL 1990: 49-58
- [c2]Carsten K. Gomard: Partial Type Inference for Untyped Functional Programs. LISP and Functional Programming 1990: 282-287
1980 – 1989
- 1989
- [c1]Carsten K. Gomard, Neil D. Jones: Compiler Generation by Partial Evaluation: A Case Study. IFIP Congress 1989: 1139-1144
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2012-12-02 20:38 CET by the dblp team