Polymorphism and separation in Hoare type theory (2006)

by A Nanevski, G Morrisett, L Birkedal
Venue:In ICFP 2006