Practical Aspects of Declarative Languages 5th International Symposium, PADL 2003, New Orleans, LA, USA, January 13-14, 2003, Proceedings - Dahl, Veronica; Dahl, Veronica; Wadler, Philip; Wadler, Philip (Springer Berlin Heidelberg : Imprint: Springer, 2003)