A partial evaluator for the untyped Lambda-calculus

Carsten Krogh Gomard, Neil D. Jones

Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

89 Citationer (Scopus)

Abstract

Partiel evaluering

Originalsprog	Engelsk
Tidsskrift	Journal of Functional Programming
Udgave nummer	vo.1, nr.1
Sider (fra-til)	21-69
ISSN	0956-7968
Status	Udgivet - 1991

@article{84b9568074d011dbbee902004c4f4f50,

title = "A partial evaluator for the untyped Lambda-calculus",

abstract = "Partiel evaluering",

author = "Gomard, {Carsten Krogh} and Jones, {Neil D.}",

year = "1991",

language = "English",

pages = "21--69",

journal = "Journal of Functional Programming",

issn = "0956-7968",

publisher = "Cambridge University Press",

number = "vo.1, nr.1",

}