Hoare type theory, polymorphism and separation (2008)

by Aleksandar Nanevski, Greg Morrisett, Lars Birkedal
Venue:Journal of Functional Programming