TLDI 2003: New Orleans, Louisiana, USA

Types and multithreading

Types and programming

Type-based analysis

Typed compilation

Types and garbage collection

a service of Schloss Dagstuhl - Leibniz Center for Informatics