Trends in Functional Programming 17th International Conference, TFP 2016, College Park, MD, USA, June 8-10, 2016, Revised Selected Papers - Van Horn, David; Van Horn, David; Hughes, John; Hughes, John (Springer International Publishing : Imprint: Springer, 2019)