A relational modal logic for higher-order stateful ADTs (2010)

by D Dreyer, G Neis, A Rossberg, L Birkedal
Venue:In POPL