A Relational Modal Logic for Higher-Order Stateful ADTs

by Derek Dreyer , Georg Neis , Andreas Rossberg , Lars Birkedal
Citations:20 - 12 self