"Advanced Functional Programming 5 conf., AFP 2004" - читать интересную книгу автора (Varmo Vene, Tarmo Uustalu)