%0 Conference Paper %1 conf/dagstuhl/AhmedBHM08 %A Ahmed, Amal %A Benton, Nick %A Hofmann, Martin %A Morrisett, Greg %B Types, Logics and Semantics for State %D 2008 %E Ahmed, Amal %E Benton, Nick %E Hofmann, Martin %E Morrisett, Greg %I Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany %K dblp %T 08061 Executive Summary -- Types, Logics and Semantics for State. %U http://dblp.uni-trier.de/db/conf/dagstuhl/P8061.html#AhmedBHM08 %V 08061

@inproceedings{conf/dagstuhl/AhmedBHM08, added-at = {2022-07-05T00:00:00.000+0200}, author = {Ahmed, Amal and Benton, Nick and Hofmann, Martin and Morrisett, Greg}, biburl = {https://www.bibsonomy.org/bibtex/2be136f7ff6676129ca9d907b45e77cfd/dblp}, booktitle = {Types, Logics and Semantics for State}, crossref = {conf/dagstuhl/2008P8061}, editor = {Ahmed, Amal and Benton, Nick and Hofmann, Martin and Morrisett, Greg}, ee = {http://drops.dagstuhl.de/opus/volltexte/2008/1426}, interhash = {cae359b7ab2d2b2c8b4d5e6eb9e5ec1b}, intrahash = {be136f7ff6676129ca9d907b45e77cfd}, keywords = {dblp}, publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany}, series = {Dagstuhl Seminar Proceedings}, timestamp = {2024-04-09T10:23:16.000+0200}, title = {08061 Executive Summary -- Types, Logics and Semantics for State.}, url = {http://dblp.uni-trier.de/db/conf/dagstuhl/P8061.html#AhmedBHM08}, volume = 08061, year = 2008 }