Carsten K. Gomard

According to our database, Carsten K. Gomard authored at least 12 papers between 1989 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

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

1989

Compiler Generation by Partial Evaluation: A Case Study.

Carsten K. Gomard, Neil D. Jones

Proceedings of the Information Processing 89, Proceedings of the IFIP 11th World Computer Congress, San Francisco, USA, August 28, 1989