Programming languages and systems : Proceedings, Warsaw, Poland, April 7 - 11, 2003 - Leroy, Xavier (Lecture notes in computer science, 2003)