08061 Executive Summary -- Types, Logics and Semantics for State - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Amal Ahmed, Nick Benton, Martin Hofmann, Greg Morrisett. 08061 Executive Summary -- Types, Logics and Semantics for State. In Amal Ahmed, Nick Benton, Martin Hofmann, Greg Morrisett, editors, Types, Logics and Semantics for State, 03.02. - 08.02.2008. Volume 08061 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, 2008. [doi]

This author has not been identified. Look up 'Amal Ahmed' in GoogleThis author has not been identified. Look up 'Nick Benton' in GoogleThis author has not been identified. Look up 'Martin Hofmann' in GoogleThis author has not been identified. Look up 'Greg Morrisett' in Google

runs on WebDSL