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