Originalsprog | Engelsk |
---|---|
Titel | ICFP 11. Proceedings of the 16th ACM SIGPLAN international conference on Functional programming |
Forlag | Association for Computing Machinery |
Publikationsdato | 2011 |
Sider | 445-456 |
ISBN (Trykt) | 978-1-4503-0865-6 |
Status | Udgivet - 2011 |
A Kripke Logical Relation for Effect-Based Program Transformations
Jacob Junker Thamsborg, Lars Birkedal
Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review