A Logical Relation for Monadic Encapsulation of State: Proving contextual equivalences in the presence of runST

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

Standard

A Logical Relation for Monadic Encapsulation of State : Proving contextual equivalences in the presence of runST. / Timany, Amin; Stefanesco, Léo; Krogh-Jespersen, Morten; Birkedal, Lars.

Proceedings of the ACM on Programming Languages. Vol. 2 POPL. ed. ACM New York, NY, USA : Association for Computing Machinery, 2018. p. 64:00-64:28 (Proceedings of the ACM on Programming Languages ; No. 2).

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

Harvard

Timany, A, Stefanesco, L, Krogh-Jespersen, M & Birkedal, L 2018, A Logical Relation for Monadic Encapsulation of State: Proving contextual equivalences in the presence of runST. in Proceedings of the ACM on Programming Languages. POPL edn, vol. 2, Association for Computing Machinery, ACM New York, NY, USA, Proceedings of the ACM on Programming Languages , no. 2, pp. 64:00-64:28, Los Angeles, United States, 07/01/2018. https://doi.org/10.1145/3158152

APA

Timany, A., Stefanesco, L., Krogh-Jespersen, M., & Birkedal, L. (2018). A Logical Relation for Monadic Encapsulation of State: Proving contextual equivalences in the presence of runST. In Proceedings of the ACM on Programming Languages (POPL ed., Vol. 2, pp. 64:00-64:28). ACM New York, NY, USA: Association for Computing Machinery. Proceedings of the ACM on Programming Languages , No. 2 https://doi.org/10.1145/3158152

CBE

Timany A, Stefanesco L, Krogh-Jespersen M, Birkedal L. 2018. A Logical Relation for Monadic Encapsulation of State: Proving contextual equivalences in the presence of runST. In Proceedings of the ACM on Programming Languages. POPL ed. ACM New York, NY, USA: Association for Computing Machinery. pp. 64:00-64:28. (Proceedings of the ACM on Programming Languages ; No. 2). https://doi.org/10.1145/3158152

MLA

Timany, Amin et al. "A Logical Relation for Monadic Encapsulation of State: Proving contextual equivalences in the presence of runST". Proceedings of the ACM on Programming Languages. POPL udg., ACM New York, NY, USA: Association for Computing Machinery. (Proceedings of the ACM on Programming Languages ; Journal number 2). 2018, 64:00-64:28. https://doi.org/10.1145/3158152

Vancouver

Timany A, Stefanesco L, Krogh-Jespersen M, Birkedal L. A Logical Relation for Monadic Encapsulation of State: Proving contextual equivalences in the presence of runST. In Proceedings of the ACM on Programming Languages. POPL ed. Vol. 2. ACM New York, NY, USA: Association for Computing Machinery. 2018. p. 64:00-64:28. (Proceedings of the ACM on Programming Languages ; No. 2). https://doi.org/10.1145/3158152

Author

Timany, Amin ; Stefanesco, Léo ; Krogh-Jespersen, Morten ; Birkedal, Lars. / A Logical Relation for Monadic Encapsulation of State : Proving contextual equivalences in the presence of runST. Proceedings of the ACM on Programming Languages. Vol. 2 POPL. ed. ACM New York, NY, USA : Association for Computing Machinery, 2018. pp. 64:00-64:28 (Proceedings of the ACM on Programming Languages ; No. 2).

Bibtex

@inproceedings{53b1e47100fe4a519fbeb7dbdaf901ac,
title = "A Logical Relation for Monadic Encapsulation of State: Proving contextual equivalences in the presence of runST",
author = "Amin Timany and L{\'e}o Stefanesco and Morten Krogh-Jespersen and Lars Birkedal",
year = "2018",
month = "1",
day = "8",
doi = "10.1145/3158152",
language = "English",
volume = "2",
pages = "64:00--64:28",
booktitle = "Proceedings of the ACM on Programming Languages",
publisher = "Association for Computing Machinery",
edition = "POPL",

}

RIS

TY - GEN

T1 - A Logical Relation for Monadic Encapsulation of State

T2 - Proving contextual equivalences in the presence of runST

AU - Timany, Amin

AU - Stefanesco, Léo

AU - Krogh-Jespersen, Morten

AU - Birkedal, Lars

PY - 2018/1/8

Y1 - 2018/1/8

U2 - 10.1145/3158152

DO - 10.1145/3158152

M3 - Article in proceedings

VL - 2

SP - 64:00-64:28

BT - Proceedings of the ACM on Programming Languages

PB - Association for Computing Machinery

CY - ACM New York, NY, USA

ER -