11. ESOP 2002: Grenoble, France (Part of ETAPS 2002)

Invited Paper

Typing and Modularity

Programming Paradigms

Lambda Calculus

Program Analysis: Applications

Program Analysis: Principles

Distributed Programs: Verification and Analysis