18. ESOP 2009: York, UK (Part of ETAPS 2009)

Typed Functional Programming

ETAPS Invited Talk

Computational Effects

Types for Object-Oriented Languages

Verification

ESOP Invited Talk

Security

Concurrency

Service-Oriented Computing

Parallel and Concurrent Programming