"Implementation of Functional Languages, 15 conf., IFL 2003" - читать интересную книгу автора (Phil Trinder, Greg Michaelson, Ricardo Pena)