Text this: Trends in functional programming. edited by Hans-Wolfgang Loidl. Volume 5 /