Polymorphism and separation in Hoare type theory (2006)

by Aleksandar Nanevski , Greg Morrisett , Lars Birkedal
Venue:In icfp
Citations:67 - 14 self

Document Versions

Polymorphism and separation in Hoare type theory –Aleksandar Nanevski, Greg Morrisett, Lars Birkedal — 2006 — In icfp
Polymorphism and separation in Hoare type theory –Aleksandar Nanevski, Greg Morrisett, Lars Birkedal — 2006 — In icfp