Polymorphism and separation in Hoare type theory

Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearchpeer-review

  • Aleksandar Nanevski, Harvard University, United States
  • Greg Morrisett, Harvard University, United States
  • Lars Birkedal
Original languageEnglish
JournalSIGPLAN Notices
Volume41
Issue9
Pages (from-to)62-73
Number of pages12
ISSN0362-1340
DOIs
Publication statusPublished - 1 Sep 2006
Externally publishedYes

Bibliographical note

Also publ. in:
Proceeding
ICFP '06 Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming, Pages 62 - 73
New York, NY, ACM , ©2006
ISBN:1-59593-309-3. doi:10.1145/1159803.1159812

    Research areas

  • Hoare Logic, Separation Logic, Type theory

See relations at Aarhus University Citationformats

ID: 81614294