Clemens Grelck Frank Huch Greg Michaelson Philip W. Trinder Implementation and Application of Functional Languages, 16th International Workshop, IFL 2004, Lübeck, Germany, September 8-10, 2004, Revised Selected Papers 3474 2005 3-540-26094-3 IFL Lecture Notes in Computer Science Springer db/conf/ifl/ifl2004.html