@inproceedings{70f07c5d4b3340d88ddac890d4e9b2f9,
title = "The impact of higher-order state and control effects on local relational reasoning",
author = "D. Dreyer and G. Neis and Lars Birkedal",
year = "2010",
doi = "10.1145/1863543.1863566",
language = "English",
pages = "143--156",
editor = "S. Weirich and Hudak, \{P. \}",
booktitle = "Proceedings of the 15th ACM SIGPLAN international conference on Functional programming, ICFP 2010, Baltimore, Maryland, USA, September 27-29, 2010",
publisher = "Association for Computing Machinery",
address = "United States",
}