Automatic Binding Time Analysis for a Typed  Lambda-Calculus (Extended Abstract)

Hanne Riis Nielson, Flemming Nielson

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

Original language	English
Title of host publication	Proc. ACM Conference on Principles of Programming Languages (POPL'88)
Publication date	1988
Pages	98-106
Publication status	Published - 1988
Event	Proc. ACM Conference on Principles of Programming Languages (POPL'88) - Duration: 1 Jan 1988 → …

Conference	Proc. ACM Conference on Principles of Programming Languages (POPL'88)
Period	01/01/1988 → …

OpenUrl availability

@inproceedings{9a4d1ea3e5c24840aed62f63bd147de4,

title = "Automatic Binding Time Analysis for a Typed Lambda-Calculus (Extended Abstract)",

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

year = "1988",

language = "English",

pages = "98--106",

booktitle = "Proc. ACM Conference on Principles of Programming Languages (POPL'88)",

note = "Proc. ACM Conference on Principles of Programming Languages (POPL'88) ; Conference date: 01-01-1988",

}

TY - GEN

T1 - Automatic Binding Time Analysis for a Typed Lambda-Calculus (Extended Abstract)

AU - Nielson, Hanne Riis

AU - Nielson, Flemming

PY - 1988

Y1 - 1988

M3 - Article in proceedings

SP - 98

EP - 106

BT - Proc. ACM Conference on Principles of Programming Languages (POPL'88)

T2 - Proc. ACM Conference on Principles of Programming Languages (POPL'88)

Y2 - 1 January 1988

ER -