Markus Mohnen Pieter W. M. Koopman Implementation of Functional Languages, 12th International Workshop, IFL 2000, Aachen, Germany, September 4-7, 2000, Selected Papers IFL Lecture Notes in Computer Science 2011 Springer 2001 3-540-41919-5 db/conf/ifl/ifl2000.html