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

D. Dreyer; G. Neis; Lars Birkedal

doi:10.1145/1863543.1863566

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

D. Dreyer, G. Neis, Lars Birkedal

Max Planck Institute for Software Systems

Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

Original language	English
Title of host publication	Proceedings of the 15th ACM SIGPLAN international conference on Functional programming, ICFP 2010, Baltimore, Maryland, USA, September 27-29, 2010
Editors	S. Weirich, P. Hudak
Publisher	Association for Computing Machinery
Publication date	2010
Pages	143-156
DOIs	https://doi.org/10.1145/1863543.1863566
Publication status	Published - 2010

Access to Document

10.1145/1863543.1863566

Cite this

Dreyer, D., Neis, G., & Birkedal, L. (2010). The impact of higher-order state and control effects on local relational reasoning. In S. Weirich, & P. Hudak (Eds.), Proceedings of the 15th ACM SIGPLAN international conference on Functional programming, ICFP 2010, Baltimore, Maryland, USA, September 27-29, 2010 (pp. 143-156). Association for Computing Machinery. https://doi.org/10.1145/1863543.1863566

Dreyer, D. ; Neis, G. ; Birkedal, Lars. / The impact of higher-order state and control effects on local relational reasoning. Proceedings of the 15th ACM SIGPLAN international conference on Functional programming, ICFP 2010, Baltimore, Maryland, USA, September 27-29, 2010. editor / S. Weirich ; P. Hudak. Association for Computing Machinery, 2010. pp. 143-156

@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",

}

Dreyer, D, Neis, G & Birkedal, L 2010, The impact of higher-order state and control effects on local relational reasoning. in S Weirich & P Hudak (eds), Proceedings of the 15th ACM SIGPLAN international conference on Functional programming, ICFP 2010, Baltimore, Maryland, USA, September 27-29, 2010. Association for Computing Machinery, pp. 143-156. https://doi.org/10.1145/1863543.1863566

The impact of higher-order state and control effects on local relational reasoning. / Dreyer, D.; Neis, G.; Birkedal, Lars.
Proceedings of the 15th ACM SIGPLAN international conference on Functional programming, ICFP 2010, Baltimore, Maryland, USA, September 27-29, 2010. ed. / S. Weirich; P. Hudak. Association for Computing Machinery, 2010. p. 143-156.

Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

TY - GEN

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

AU - Dreyer, D.

AU - Neis, G.

AU - Birkedal, Lars

PY - 2010

Y1 - 2010

U2 - 10.1145/1863543.1863566

DO - 10.1145/1863543.1863566

M3 - Article in proceedings

SP - 143

EP - 156

BT - Proceedings of the 15th ACM SIGPLAN international conference on Functional programming, ICFP 2010, Baltimore, Maryland, USA, September 27-29, 2010

A2 - Weirich, S.

A2 - Hudak, P.

PB - Association for Computing Machinery

ER -

Dreyer D, Neis G, Birkedal L. The impact of higher-order state and control effects on local relational reasoning. In Weirich S, Hudak P, editors, Proceedings of the 15th ACM SIGPLAN international conference on Functional programming, ICFP 2010, Baltimore, Maryland, USA, September 27-29, 2010. Association for Computing Machinery. 2010. p. 143-156 doi: 10.1145/1863543.1863566