Hoare type theory, polymorphism and separation (2008)

by A NANEVSKI, J G MORRISETT, L BIRKEDAL
Venue:JFP