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 Metayer, Daniel; Le Metayer, Daniel (Springer Berlin Heidelberg : Imprint: Springer, 2002)