A Kripke Logical Relation for Effect-Based Program Transformations

Jacob Junker Thamsborg; Lars Birkedal

A Kripke Logical Relation for Effect-Based Program Transformations

Jacob Junker Thamsborg, Lars Birkedal

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

Original language	English
Title of host publication	ICFP 11. Proceedings of the 16th ACM SIGPLAN international conference on Functional programming
Publisher	Association for Computing Machinery
Publication date	2011
Pages	445-456
ISBN (Print)	978-1-4503-0865-6
Publication status	Published - 2011

Cite this

@inproceedings{ea11057665e94da69d496d99a7ec81f3,

title = "A Kripke Logical Relation for Effect-Based Program Transformations",

author = "Thamsborg, \{Jacob Junker\} and Lars Birkedal",

year = "2011",

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

}

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: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review