A Walk in the Semantic Park

Olivier Danvy, Jacob Johannsen, Ian Zerny

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearch

    Abstract

    To celebrate the 20th anniversary of PEPM, we are inviting you to a
    walk in the semantic park and to inter-derive reduction-based and
    reduction-free negational normalization functions.
    Original languageEnglish
    Title of host publicationProceedings of the 20th ACM SIGPLAN workshop on Partial evaluation and program manipulation
    EditorsSiau-Cheng Khoo, Jeremy Siek
    Number of pages12
    PublisherAssociation for Computing Machinery
    Publication date2011
    Pages1-12
    ISBN (Print)978-1-4503-0485-6
    DOIs
    Publication statusPublished - 2011
    Event20th ACM SIGPLAN workshop on Partial evaluation and program manipulation - Austin, TX, United States
    Duration: 24 Jan 201125 Jan 2011

    Conference

    Conference20th ACM SIGPLAN workshop on Partial evaluation and program manipulation
    Country/TerritoryUnited States
    CityAustin, TX
    Period24/01/201125/01/2011

    Fingerprint

    Dive into the research topics of 'A Walk in the Semantic Park'. Together they form a unique fingerprint.

    Cite this