Carsten K. Gomard

13 papers A 1C 3Journal 3Unranked 5
YearRankTypeTitle / Venue / Authors
1998 — conf
Partial Evaluation for the Lambda Calculus.
Partial Evaluation
Neil D. Jones, Carsten K. Gomard, Peter Sestoft
1993 — book
Partial evaluation and automatic program generation.
Neil D. Jones, Carsten K. Gomard, Peter Sestoft
1992 J jnl
A Self-Applicable Partial Evaluator for the Lambda Calculus: Correctness and Pragmatics.
ACM Trans. Program. Lang. Syst.
Carsten K. Gomard
1992 — conf
Path Analysis for Lazy Data Structures.
PLILP
Carsten K. Gomard, Peter Sestoft
1992 C conf
Speedup Analysis in Partial Evaluation: Preliminary Results.
PEPM
Lars Ole Andersen, Carsten K. Gomard
1991 J jnl
A Partial Evaluator for the Untyped lambda-Calculus.
J. Funct. Program.
Carsten K. Gomard, Neil D. Jones
1991 J jnl
Compiler Generation by Partial Evaluation: A Case Study.
Struct. Program.
Carsten K. Gomard, Neil D. Jones
1991 A conf
Evaluation Order Analysis for Lazy Data Structures.
Functional Programming
Carsten K. Gomard, Peter Sestoft
1991 C conf
Globalization and Live Variables.
PEPM
Carsten K. Gomard, Peter Sestoft
1991 C conf
Partial Evaluation is Fuller Laziness.
PEPM
Carsten Kehler Holst, Carsten K. Gomard
1990 — conf
A Self-Applicable Partial Evaluator for the Lambda Calculus.
ICCL
Neil D. Jones, Carsten K. Gomard, Anders Bondorf, Olivier Danvy, Torben Æ. Mogensen
1990 — conf
Partial Type Inference for Untyped Functional Programs.
LISP and Functional Programming
Carsten K. Gomard
1989 — conf
Compiler Generation by Partial Evaluation: A Case Study.
IFIP Congress
Carsten K. Gomard, Neil D. Jones
2023 — conf
Not What You've Signed Up For: Compromising Real-World LLM-Integrated Applications with Indirect Prompt Injection.
AISec
Kai Greshake, Sahar Abdelnabi, Shailesh Mishra, Christoph Endres, Thorsten Holz, Mario Fritz
2026 — preprint
CCX: Enabling Unmodified Intel SGX Applications on Arm CCA.
arXiv
Matti Schulze, Thorsten Holz, Felix C. Freiling