Trends in Functional Programming - Page, Rex; Horvath, Zoltan; Horváth, Zoltán; Kanade, Takeo; Zsók, Viktória (Springer Berlin Heidelberg, 2011)