Implementation and Application of Functional Languages - International Workshop on the Implementation of Functional Languages; Grelck, Clemens; Kanade, Takeo; Huch, Frank; Michaelson, Greg; Trinder, Phil (Springer Berlin / Heidelberg, 2005)