11th MPC 2012: Madrid, Spain

Refine list

showing all ?? records

Invited Talks

Security and Information Flow

Synchronous and Real-Time Systems

Algorithms and Games

Program Calculi

Tool Support

Algebras and Datatypes

Categorical Functional Programming

a service of  Schloss Dagstuhl - Leibniz Center for Informatics