Aarhus University Seal / Aarhus Universitets segl

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

Research output: Contribution to book/anthology/report/proceedingArticle 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 year2010
Pages143-156
DOIs
Publication statusPublished - 2010
Externally publishedYes

See relations at Aarhus University Citationformats

ID: 73743329