A Relational Modal Logic for Higher-Order Stateful ADTs Derek Dreyer Georg Neis Andreas Rossberg

First Page		Document Content
Date: 2009-11-12 09:36:49		A Relational Modal Logic for Higher-Order Stateful ADTs Derek Dreyer Georg Neis Andreas Rossberg Add to Reading List Source URL: people.mpi-sws.org Download Document from Source Website File Size: 340,05 KB Share Document on Facebook