Self-Applicable Online Partial Evaluation of the Pure Lambda Calculus

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

Original language	English
Title of host publication	publisher
Publisher	Association for Computing Machinery
Publication date	1995
Pages	39-44
Publication status	Published - 1995
Event	Self-Applicable Online Partial Evaluation of the Pure Lambda Calculus - Duration: 29 Nov 2010 → …

Conference	Self-Applicable Online Partial Evaluation of the Pure Lambda Calculus
Period	29/11/2010 → …

Library access?

@inproceedings{703aef20e65611deba73000ea68e967b,

title = "Self-Applicable Online Partial Evaluation of the Pure Lambda Calculus",

author = "Mogensen, \{Torben {\AE}gidius\}",

year = "1995",

language = "English",

pages = "39--44",

booktitle = "publisher",

publisher = "Association for Computing Machinery",

note = "Self-Applicable Online Partial Evaluation of the Pure Lambda Calculus ; Conference date: 29-11-2010",

}