The impact of higher-order state and control effects on local relational reasoning

Derek Dreyer, Georg Neis, Lars Birkedal

    Publikation: Artikel i tidsskrift og konference artikel i tidsskriftTidsskriftartikelForskningpeer review

    OriginalsprogEngelsk
    TidsskriftJournal of Functional Programming
    Vol/bind22
    Udgave nummer4-5
    ISSN0956-7968
    StatusUdgivet - 2012

    Citationsformater