"Implementation of Functional Languages, 13 conf., IFL 2002 Stockholm" - читать интересную книгу автора (Thomas Arts, Markus Mohnen)