2-Level Lambda-Lifting

Flemming Nielson, Hanne Riis Nielson

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Original language	English
Title of host publication	Proc. CAAP & ESOP '88
Publisher	Springer Verlag
Publication date	1988
Pages	328-343
DOIs	https://doi.org/10.1007/3-540-19027-9_22
Publication status	Published - 1988
Event	Lecture Notes in Computer Science - Duration: 1 Jan 1988 → …

Conference	Lecture Notes in Computer Science
Period	01/01/1988 → …

Series	Lecture Notes of Computer Science
Volume	300
ISSN	0302-9743

Access to Document

@inproceedings{f74e3b62178e42f8804d01926b7ffe16,

title = "2-Level Lambda-Lifting",

author = "Flemming Nielson and Nielson, \{Hanne Riis\}",

year = "1988",

doi = "10.1007/3-540-19027-9\_22",

language = "English",

series = "Lecture Notes of Computer Science",

publisher = "Springer Verlag",

pages = "328--343",

booktitle = "Proc. CAAP \& ESOP '88",

address = "Germany",

note = "Lecture Notes in Computer Science ; Conference date: 01-01-1988",

}