Self-Applicable Online Partial Evaluation of the Pure Lambda Calculus

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Original languageEnglish
Title of host publicationpublisher
PublisherAssociation for Computing Machinery
Publication date1995
Pages39-44
Publication statusPublished - 1995
EventSelf-Applicable Online Partial Evaluation of the Pure Lambda Calculus -
Duration: 29 Nov 2010 → …

Conference

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

ID: 16239639