Carsten K. Gomard

According to our database, Carsten K. Gomard authored at least 12 papers between 1990 and 1998.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1998

Partial Evaluation for the Lambda Calculus.

Neil D. Jones, Carsten K. Gomard, Peter Sestoft

Proceedings of the Partial Evaluation - Practice and Theory, DIKU 1998 International Summer School, Copenhagen, Denmark, June 29, 1998

1993

Partial evaluation and automatic program generation.

Neil D. Jones, Carsten K. Gomard, Peter Sestoft

Prentice Hall international series in computer science, Prentice Hall, ISBN: 978-0-13-020249-9, 1993

1992

A Self-Applicable Partial Evaluator for the Lambda Calculus: Correctness and Pragmatics.

Carsten K. Gomard

ACM Trans. Program. Lang. Syst., 1992

Path Analysis for Lazy Data Structures.

Carsten K. Gomard, Peter Sestoft

Proceedings of the Programming Language Implementation and Logic Programming, 1992

Speedup Analysis in Partial Evaluation: Preliminary Results.

Lars Ole Andersen, Carsten K. Gomard

Proceedings of the PEPM'92, 1992

1991

Compiler Generation by Partial Evaluation: A Case Study.

Carsten K. Gomard, Neil D. Jones

Struct. Program., 1991

A Partial Evaluator for the Untyped lambda-Calculus.

Carsten K. Gomard, Neil D. Jones

J. Funct. Program., 1991

Partial Evaluation is Fuller Laziness.

Carsten Kehler Holst, Carsten K. Gomard

Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation, 1991

Globalization and Live Variables.

Carsten K. Gomard, Peter Sestoft

Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation, 1991

Evaluation Order Analysis for Lazy Data Structures.

Carsten K. Gomard, Peter Sestoft

Proceedings of the Functional Programming, 1991

1990

Partial Type Inference for Untyped Functional Programs.

Carsten K. Gomard

Proceedings of the 1990 ACM Conference on LISP and Functional Programming, 1990

A Self-Applicable Partial Evaluator for the Lambda Calculus.

Neil D. Jones, Carsten K. Gomard, Anders Bondorf, Olivier Danvy, Torben Æ. Mogensen

Proceedings of the 1990 Internation Conference on Computer Languages, 1990