Abstract predicates and mutable ADTs in Hoare type theory (0)

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