08061 Executive Summary -- Types, Logics and Semantics for State.

Amal Ahmed Nick Benton Martin Hofmann Greg Morrisett 08061 Executive Summary -- Types, Logics and Semantics for State. 2008 Types, Logics and Semantics for State http://drops.dagstuhl.de/opus/volltexte/2008/1426 conf/dagstuhl/2008P8061 db/conf/dagstuhl/P8061.html#AhmedBHM08