Loidl, Hans-Wolfgang (ed.); Peña, Ricardo (ed.) Trends in functional programming. 13th international symposium, TFP 2012, St. Andrews, UK, June 12–14, 2012. Revised selected papers. (English) Zbl 1269.68024 Lecture Notes in Computer Science 7829. Berlin: Springer (ISBN 978-3-642-40446-7/pbk). x, 311 p. (2013). For the preceding symposium see [Zbl 1250.68045]. Cited in 1 Review MSC: 68-06 Proceedings, conferences, collections, etc. pertaining to computer science 68N18 Functional programming and lambda calculus 00B25 Proceedings of conferences of miscellaneous specific interest PDF BibTeX XML Cite \textit{H.-W. Loidl} (ed.) and \textit{R. Peña} (ed.), Trends in functional programming. 13th international symposium, TFP 2012, St. Andrews, UK, June 12--14, 2012. Revised selected papers. Berlin: Springer (2013; Zbl 1269.68024) Full Text: DOI