"Advanced Functional Programming 6 conf., AFP 2008" - читать интересную книгу автора (Pieter Koopman, Rinus Plasmeijer, Doaitse Swierstra)