Polymorphism and separation in Hoare type theory (2006)

by Aleksandar Nanevski, Greg Morrisett, Lars Birkedal
Venue:In icfp