Type-Directed Program Transformations for the Working Functional Programmer

Justin Lubin, Ravi Chugh. Type-Directed Program Transformations for the Working Functional Programmer. In Sarah Chasins, Elena L. Glassman, Joshua Sunshine, editors, 10th Workshop on Evaluation and Usability of Programming Languages and Tools, PLATEAU@UIST 2019, October 24, 2019, New Orleans, Louisiana, USA. Volume 76 of OASICS, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019. [doi]