Gå til søgefeltetSpring over til navigationSpring til hovedindhold

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

Publikation information

Produktionstype

Publikation:
Konference artikel i Proceeding eller bog/rapport kapitel
Konferencebidrag i proceedings
 Peer-review

Originalsprog

Engelsk

Sider fra-til (Antal sider)

Sider 445-456

Publikationsmilepæle

  • Udgivet - 2011

Publikationsstatus

Udgivet - 2011

Forlag

Association for Computing Machinery, USA

ISBN (Trykt)

978-1-4503-0865-6

Titel på værtspublikation

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