Meng Wang, Scott Owens: Trends in Functional Programming - 18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papers. Lecture Notes in Computer Science 10788, Springer 2018, ISBN 978-3-319-89718-9