Skip to search boxSkip to navigationSkip to main content

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
 Peer-review

Publication Information

Output type

Research Output:
Conference Article in Proceeding or Book/Report chapter
Article in proceedings
 Peer-review

Original language

English

Pages from-to (Number of pages)

Pages 445-456

Publication milestones

  • Published - 2011

Publication status

Published - 2011

Publisher

Association for Computing Machinery, United States

ISBN (Print)

978-1-4503-0865-6

Host publication title

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