Amal Ahmed Nick Benton Martin Hofmann Greg Morrisett Types, Logics and Semantics for State 08061 2008 db/conf/dagstuhl/P8061.html Dagstuhl Seminar Proceedings Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany