Concepedia

Carsten K. Gomard

CK

Statistics

Publications

7

Citations

354

H-Index

7

Active since

1989

Affiliations

University of Copenhagen(Current)

Carsten K. Gomard is an author at University of Copenhagen specializing in computing, computer science, and partial evaluation.

Publications per year

1989–2002

7

Publications

7

A partial evaluator for the untyped lambda-calculus

Carsten K. Gomard, Neil D. Jones · Journal of Functional Programming · 1991 · 150 citations · Full text

, , +14

Partial type inference for untyped functional programs

Carsten K. Gomard · 1990 · 59 citations · Full text

, , +11

A self-applicable partial evaluator for the lambda calculus

Carsten K. Gomard · ACM Transactions on Programming Languages and Systems · 1992 · 52 citations · Full text

, , +14

A self-applicable partial evaluator for the lambda calculus

N. D. Jones, Carsten K. Gomard, Anders Bondorf et al. · 2002 · 30 citations

, , +14

Compiler Generation by Partial Evaluation: A Case Study.

Carsten K. Gomard, Neil D. Jones · IFIP Congress · 1989 · 21 citations

, , +12

1–5 of 7