PLPV 2013: Rome, Italy

Invited talk

Verification of programming languages

Complexity and security

Functional reactive programming

a service of Schloss Dagstuhl - Leibniz Center for Informatics