Programming languages and systems : 11th European Symposium on Programming, ESOP 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 : Grenoble, France, April 8-12, 2002 : proceedings - Le Métayer, Daniel (Lecture notes in computer science, 2002)