Skip to search boxSkip to navigationSkip to main content

A relational modal logic for higher-order stateful ADTs

  • D. Dreyer
    ,
  • G. Neis
    ,
  • A. Rossberg
    ,
  • Lars Birkedal
Research Output:
Conference Article in Proceeding or Book/Report chapter
Article in proceedings
 Peer-review

Open access

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 185-198

Publication milestones

  • Published - 2010

Publication status

Published - 2010

Publisher

Association for Computing Machinery, United States

Publication IDs

  • Scopus: 77950889829

Host publication title

Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2010, Madrid, Spain, January 17-23, 2010

Host publication editors

  • M. Hermenegildo
  • J. Palsberg

Publication metrics

PlumX, opens in new tab

Captures
16
Citations
38

Access to documents