Implementation and Application of Functional Languages - Hutchison, David; Kanade, Takeo; Morazán, Marco T. (Springer Berlin Heidelberg, 2011)