Jay McCarthy: Trends in Functional Programming - 14th International Symposium, TFP 2013, Provo, UT, USA, May 14-16, 2013, Revised Selected Papers. Lecture Notes in Computer Science 8322, Springer 2014, ISBN 978-3-642-45339-7