"Advanced Functional Programming 3 conf., AFP 1998" - читать интересную книгу автора (S. Doaitse Swierstra, Pedro R. Henriques, Jose N. Oliveira)