Implementation and Application of Functional Languages - Butterfield, Andrew; Grelck, Clemens; Huch, Frank; Kanade, Takeo (Springer Berlin Heidelberg, 2006)