Trends in functional programming 14th International Symposium, TFP 2013, Provo, UT, USA, May 14-16, 2013 ; revised selected papers (Springer, 2014)