A Prescriptive Framework for Designing Multi-Level Lambda-Calculi

Flemming Nielson, Hanne Riis Nielson

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

    Original languageEnglish
    Title of host publicationProc. PEPM'97
    PublisherACM Press
    Publication date1997
    Pages193-202
    Publication statusPublished - 1997
    EventProc. PEPM'97 -
    Duration: 1 Jan 1997 → …

    Conference

    ConferenceProc. PEPM'97
    Period01/01/1997 → …

    Cite this