Polymorphism and separation in Hoare type theory (2006)

by Aleksandar Nanevski , Greg Morrisett , Lars Birkedal
Venue:In icfp
Citations:67 - 14 self