Trends in Functional Programming 13th International Symposium, TFP 2012, St. Andrews, UK, June 12-14, 2012, Revised Selected Papers - Loidl, Hans-Wolfgang; Peña, Ricardo (Springer Berlin Heidelberg : Imprint: Springer, 2013)