Polymorphism and separation in hoare type theory.

Aleksandar Nanevski, Greg Morrisett, Lars Birkedal

Browse the full ICFP paper archive.