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

D. Dreyer, G. Neis, Lars Birkedal

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

    Original languageEnglish
    Title of host publicationProceedings of the 15th ACM SIGPLAN international conference on Functional programming, ICFP 2010, Baltimore, Maryland, USA, September 27-29, 2010
    EditorsS. Weirich, P. Hudak
    PublisherAssociation for Computing Machinery
    Publication date2010
    Pages143-156
    DOIs
    Publication statusPublished - 2010

    Cite this