36th POPL 2009: Savannah, GA, USA

Refine list

showing all ?? records

Invited talk

Concurrency

Types I

Medley I

Static analysis I

Invited talk

Functional programming

Medley II

Static analysis II

Static analysis III

Invited talk

Program logics

Types II

Multicore

Verification

a service of  Schloss Dagstuhl - Leibniz Center for Informatics