Practical Aspects of Declarative Languages : 5th International Symposium, PADL 2003, New Orleans, LA, USA, January 13-14, 2003, Proceedings - Veronica Dahl, Philip Wadler ((Lecture Notes in Computer Science))