Polymorphism and separation in hoare type theory. In (2006)

by Aleksandar Nanevski, Greg Morrisett, Lars Birkedal