Trends in Functional Programming : 13th International Symposium, TFP 2012, St Andrews, UK, June 12-14, 2012, Revised Selected Papers - Hans-Wolfgang Loidl, Ricardo Peña ((Lecture Notes in Computer Science))