Programming languages and systems : proceedings - Le Métayer, Daniel (Herausgeber); ESOP (11 : 2002 : Grenoble); ETAPS (5 : 2002 : Grenoble) (Lecture notes in computer science, 2002)