Derek Dreyer, Georg Neis, Lars Birkedal. The impact of higher-order state and control effects on local relational reasoning. In Paul Hudak, Stephanie Weirich, editors, Proceeding of the 15th ACM SIGPLAN international conference on Functional programming, ICFP 2010, Baltimore, Maryland, USA, September 27-29, 2010. pages 143-156, ACM, 2010. [doi]
@inproceedings{DreyerNB10,
title = {The impact of higher-order state and control effects on local relational reasoning},
author = {Derek Dreyer and Georg Neis and Lars Birkedal},
year = {2010},
doi = {10.1145/1863543.1863566},
url = {http://doi.acm.org/10.1145/1863543.1863566},
researchr = {https://researchr.org/publication/DreyerNB10},
cites = {0},
citedby = {0},
pages = {143-156},
booktitle = {Proceeding of the 15th ACM SIGPLAN international conference on Functional programming, ICFP 2010, Baltimore, Maryland, USA, September 27-29, 2010},
editor = {Paul Hudak and Stephanie Weirich},
publisher = {ACM},
isbn = {978-1-60558-794-3},
}