Trends in functional programming 18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017 : revised selected papers - Wang, Meng; Owens, Scott (Springer, 2018)