Trends in Functional Programming 13th International Symposium, TFP 2012, St Andrews, UK, June 12-14, 2012, Revised Selected Papers Loidl, Hans Wolfgang Heftet / 2013 / Engelsk