"Implementation of Functional Languages, 12 conf., IFL 2000" - читать интересную книгу автора (Markus Mohnen, Pieter Koopman)