Forskning ved Københavns Universitet - Københavns Universitet

Forside

A self-applicable partial evaluator for the lambda calculus: Correctness and pagmatics

Publikation: Bidrag til tidsskriftTidsskriftartikelForskning

Standard

A self-applicable partial evaluator for the lambda calculus: Correctness and pagmatics. / Gomard, Carsten Krogh.

I: ACM Transactions on Programming Languages and Systems, 1992.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskning

Harvard

Gomard, CK 1992, 'A self-applicable partial evaluator for the lambda calculus: Correctness and pagmatics', ACM Transactions on Programming Languages and Systems.

APA

Gomard, C. K. (1992). A self-applicable partial evaluator for the lambda calculus: Correctness and pagmatics. ACM Transactions on Programming Languages and Systems.

Vancouver

Gomard CK. A self-applicable partial evaluator for the lambda calculus: Correctness and pagmatics. ACM Transactions on Programming Languages and Systems. 1992.

Author

Gomard, Carsten Krogh. / A self-applicable partial evaluator for the lambda calculus: Correctness and pagmatics. I: ACM Transactions on Programming Languages and Systems. 1992.

Bibtex

@article{7a31df7074d011dbbee902004c4f4f50,
title = "A self-applicable partial evaluator for the lambda calculus: Correctness and pagmatics",
author = "Gomard, {Carsten Krogh}",
year = "1992",
language = "English",
journal = "A C M Transactions on Programming Languages and Systems",
issn = "0164-0925",
publisher = "Association for Computing Machinery, Inc.",

}

RIS

TY - JOUR

T1 - A self-applicable partial evaluator for the lambda calculus: Correctness and pagmatics

AU - Gomard, Carsten Krogh

PY - 1992

Y1 - 1992

M3 - Journal article

JO - A C M Transactions on Programming Languages and Systems

JF - A C M Transactions on Programming Languages and Systems

SN - 0164-0925

ER -

ID: 295491