"Implementation and Application of Functional Languages, 18 conf., IFL 2006" - читать интересную книгу автора (Viktória Zsók, Andrew Butterfield)