Self-Applicable Online Partial Evaluation of the Pure Lambda Calculus

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

OriginalsprogEngelsk
Titelpublisher
ForlagAssociation for Computing Machinery
Publikationsdato1995
Sider39-44
StatusUdgivet - 1995
BegivenhedSelf-Applicable Online Partial Evaluation of the Pure Lambda Calculus -
Varighed: 29 nov. 2010 → …

Konference

KonferenceSelf-Applicable Online Partial Evaluation of the Pure Lambda Calculus
Periode29/11/2010 → …

ID: 16239639