"Practical Aspects of Declarative Languages: 5th International Symposium, PADL 2003, New Orleans, LA, USA, January 13-14, 2003, Proceedings " - читать интересную книгу автора (Veronica Dahl, Philip Wadler)