A Kripke Logical Relation for Effect-Based Program Transformations

Jacob Junker Thamsborg, Lars Birkedal

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

    Original languageEnglish
    Title of host publicationICFP 11. Proceedings of the 16th ACM SIGPLAN international conference on Functional programming
    PublisherAssociation for Computing Machinery
    Publication date2011
    ISBN (Print)978-1-4503-0865-6
    Publication statusPublished - 2011

    Cite this