A Prescriptive Framework for Designing Multi-Level  Lambda-Calculi

Flemming Nielson, Hanne Riis Nielson

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

Conference	Proc. PEPM'97
Period	01/01/1997 → …

OpenUrl availability

@inproceedings{3047e9aa9f5041418c1abbed525a2658,

title = "A Prescriptive Framework for Designing Multi-Level Lambda-Calculi",

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

year = "1997",

language = "English",

pages = "193--202",

booktitle = "Proc. PEPM'97",

publisher = "ACM Press",

note = "Proc. PEPM'97 ; Conference date: 01-01-1997",

}