"Practical Aspects of Declarative Languages - PADL 2011" - читать интересную книгу автора (Ricardo Rocha, John Launchbury)