Trends in Functional Programming 18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papers - Wang, Meng; Wang, Meng; Owens, Scott; Owens, Scott (Springer International Publishing : Imprint: Springer, 2018)