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

Original languageEnglish
Title of host publicationICFP 11. Proceedings of the 16th ACM SIGPLAN international conference on Functional programming
PublisherAssociation for Computing Machinery
Publication year2011
Pages445-456
ISBN (print)978-1-4503-0865-6
DOIs
Publication statusPublished - 2011
Externally publishedYes

Bibliographical note

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

See relations at Aarhus University Citationformats

ID: 73743269