"Implementation and Application of Functional Languages, 17 conf., IFL 2005" - читать интересную книгу автора (Andrew Butterfield, Clemens Grelck, Frank Huch)