Aarhus University Seal / Aarhus Universitets segl

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

Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearchpeer-review

Original languageEnglish
JournalJournal of Functional Programming
Volume22
Issue4-5
ISSN0956-7968
Publication statusPublished - 2012
Externally publishedYes

See relations at Aarhus University Citationformats

ID: 73743352