Practical Aspects of Declarative Languages - Rocha, Ricardo; Kanade, Takeo; Launchbury, John; Kittler, Josef (Springer Berlin Heidelberg, 2011)