Self-applicable Partial Evaluation for Pure Lambda Calculus

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

OriginalsprogEngelsk
Titelpublisher
Publikationsdato1992
Sider116-121
StatusUdgivet - 1992
BegivenhedSelf-applicable Partial Evaluation for Pure Lambda Calculus -
Varighed: 29 nov. 2010 → …

Konference

KonferenceSelf-applicable Partial Evaluation for Pure Lambda Calculus
Periode29/11/2010 → …

ID: 16239706