Aarhus University Seal / Aarhus Universitets segl

A Kripke Logical Relation for Effect-Based Program Transformations

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

Standard

A Kripke Logical Relation for Effect-Based Program Transformations. / Thamsborg, Jacob Junker; Birkedal, Lars.

ICFP 11. Proceedings of the 16th ACM SIGPLAN international conference on Functional programming. Association for Computing Machinery, 2011. p. 445-456.

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

Harvard

Thamsborg, JJ & Birkedal, L 2011, A Kripke Logical Relation for Effect-Based Program Transformations. in ICFP 11. Proceedings of the 16th ACM SIGPLAN international conference on Functional programming. Association for Computing Machinery, pp. 445-456. https://doi.org/10.1145/2034574.2034831

APA

Thamsborg, J. J., & Birkedal, L. (2011). A Kripke Logical Relation for Effect-Based Program Transformations. In ICFP 11. Proceedings of the 16th ACM SIGPLAN international conference on Functional programming (pp. 445-456). Association for Computing Machinery. https://doi.org/10.1145/2034574.2034831

CBE

Thamsborg JJ, Birkedal L. 2011. A Kripke Logical Relation for Effect-Based Program Transformations. In ICFP 11. Proceedings of the 16th ACM SIGPLAN international conference on Functional programming. Association for Computing Machinery. pp. 445-456. https://doi.org/10.1145/2034574.2034831

MLA

Thamsborg, Jacob Junker and Lars Birkedal "A Kripke Logical Relation for Effect-Based Program Transformations". ICFP 11. Proceedings of the 16th ACM SIGPLAN international conference on Functional programming. Association for Computing Machinery. 2011, 445-456. https://doi.org/10.1145/2034574.2034831

Vancouver

Thamsborg JJ, Birkedal L. A Kripke Logical Relation for Effect-Based Program Transformations. In ICFP 11. Proceedings of the 16th ACM SIGPLAN international conference on Functional programming. Association for Computing Machinery. 2011. p. 445-456 https://doi.org/10.1145/2034574.2034831

Author

Thamsborg, Jacob Junker ; Birkedal, Lars. / A Kripke Logical Relation for Effect-Based Program Transformations. ICFP 11. Proceedings of the 16th ACM SIGPLAN international conference on Functional programming. Association for Computing Machinery, 2011. pp. 445-456

Bibtex

@inproceedings{b2cfeaadf7f9406f84086edcd73acdc8,
title = "A Kripke Logical Relation for Effect-Based Program Transformations",
author = "Thamsborg, {Jacob Junker} and Lars Birkedal",
note = "Also published in: ACM SIGPLAN Notices - ICFP '11, Volume 46 Issue 9, 2011, Pages 445-456 ",
year = "2011",
doi = "10.1145/2034574.2034831",
language = "English",
isbn = "978-1-4503-0865-6",
pages = "445--456",
booktitle = "ICFP 11. Proceedings of the 16th ACM SIGPLAN international conference on Functional programming",
publisher = "Association for Computing Machinery",
address = "United States",

}

RIS

TY - GEN

T1 - A Kripke Logical Relation for Effect-Based Program Transformations

AU - Thamsborg, Jacob Junker

AU - Birkedal, Lars

N1 - Also published in: ACM SIGPLAN Notices - ICFP '11, Volume 46 Issue 9, 2011, Pages 445-456

PY - 2011

Y1 - 2011

U2 - 10.1145/2034574.2034831

DO - 10.1145/2034574.2034831

M3 - Article in proceedings

SN - 978-1-4503-0865-6

SP - 445

EP - 456

BT - ICFP 11. Proceedings of the 16th ACM SIGPLAN international conference on Functional programming

PB - Association for Computing Machinery

ER -