![](/img/cover-not-exists.png)
Polymorphism and separation in hoare type theory
Nanevski, Aleksandar, Morrisett, Greg, Birkedal, LarsVolume:
41
Language:
english
Journal:
ACM SIGPLAN Notices
DOI:
10.1145/1160074.1159812
Date:
September, 2006
File:
PDF, 306 KB
english, 2006