Abstract predicates and mutable adts in hoare type theory (2007)

by A Nanevski, A Ahmed, G Morrisett, L Birkedal
Venue:In ESOP’07