Programming languages and systems : 10th European Symposium on Programming, ESOP 2001, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 : Genova, Italy, April 2-6, 2001 : proceedings - Sands, David (Lecture notes in computer science ;, 2001)