Andrew Butterfield Clemens Grelck Frank Huch Implementation and Application of Functional Languages, 17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers 4015 2006 3-540-69174-X IFL Lecture Notes in Computer Science Springer db/conf/ifl/ifl2005.html