A Kripke Logical Relation for Effect-Based Program Transformations

Jacob Junker Thamsborg, Lars Birkedal

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    OriginalsprogEngelsk
    TitelICFP 11. Proceedings of the 16th ACM SIGPLAN international conference on Functional programming
    ForlagAssociation for Computing Machinery
    Publikationsdato2011
    Sider445-456
    ISBN (Trykt)978-1-4503-0865-6
    StatusUdgivet - 2011

    Citationsformater