Trends in functional programming 17th international conference, TFP 2016, College Park, MD, USA, June 8-10, 2016 : revised selected papers - Van Horn, David; Hughes, John (Springer, 2019)