Hoare type theory, polymorphism and separation (2008)

by A Nanevski, G Morrisett, L Birkedal
Venue:Journal of Functional Programming