"Practical Aspects of Declarative Languages, 9 conf., PADL 2007" - читать интересную книгу автора (Michael Hanus)