Polymorphism and separation in Hoare type theory (2006)

by Aleksandar Nanevski , Greg Morrisett , Lars Birkedal
Venue:In icfp
Citations:82 - 15 self