Trends in Functional Programming 14th International Symposium, TFP 2013, Provo, UT, USA, May 14-16, 2013, Revised Selected Papers - McCarthy, Jay.; McCarthy, Jay. (Springer Berlin Heidelberg : Imprint: Springer, 2014)