Abstract Predicates and Mutable ADTs in Hoare Type Theory.

Aleksandar Nanevski, Amal Ahmed, Greg Morrisett, Lars Birkedal

Browse the full ESOP paper archive.