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

Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

Originalsprog	Engelsk
Titel	Proceedings of the 15th ACM SIGPLAN international conference on Functional programming, ICFP 2010, Baltimore, Maryland, USA, September 27-29, 2010
Redaktører	S. Weirich, P. Hudak
Forlag	Association for Computing Machinery
Publikationsdato	2010
Sider	143-156
DOI	https://doi.org/10.1145/1863543.1863566
Status	Udgivet - 2010

Adgang til dokumentet

10.1145/1863543.1863566

Citationsformater

Dreyer, D., Neis, G., & Birkedal, L. (2010). The impact of higher-order state and control effects on local relational reasoning. I S. Weirich, & P. Hudak (red.), Proceedings of the 15th ACM SIGPLAN international conference on Functional programming, ICFP 2010, Baltimore, Maryland, USA, September 27-29, 2010 (s. 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. red. / S. Weirich ; P. Hudak. Association for Computing Machinery, 2010. s. 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. i S Weirich & P Hudak (red), Proceedings of the 15th ACM SIGPLAN international conference on Functional programming, ICFP 2010, Baltimore, Maryland, USA, September 27-29, 2010. Association for Computing Machinery, s. 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. red. / S. Weirich; P. Hudak. Association for Computing Machinery, 2010. s. 143-156.

Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › 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. I Weirich S, Hudak P, red., 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. s. 143-156 doi: 10.1145/1863543.1863566