Aarhus University Seal / Aarhus Universitets segl

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

Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

Standard

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: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

Harvard

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/http://doi.acm.org/10.1145/1863543.1863566

APA

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/http://doi.acm.org/10.1145/1863543.1863566

CBE

Dreyer D, Neis G, Birkedal L. 2010. The impact of higher-order state and control effects on local relational reasoning. Weirich S, Hudak P, editors. In 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/http://doi.acm.org/10.1145/1863543.1863566

MLA

Dreyer, D., G. Neis, and Lars Birkedal "The impact of higher-order state and control effects on local relational reasoning". and 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, 143-156. https://doi.org/http://doi.acm.org/10.1145/1863543.1863566

Vancouver

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 https://doi.org/http://doi.acm.org/10.1145/1863543.1863566

Author

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

Bibtex

@inproceedings{c9d2bd0d94aa4d41842af21fe263bbfe,
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 = "http://doi.acm.org/10.1145/1863543.1863566",
language = "English",
pages = "143--156",
editor = "S. Weirich and P. Hudak",
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",

}

RIS

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 - http://doi.acm.org/10.1145/1863543.1863566

DO - http://doi.acm.org/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 -