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]
@inproceedings{LubinC19,
title = {Type-Directed Program Transformations for the Working Functional Programmer},
author = {Justin Lubin and Ravi Chugh},
year = {2019},
doi = {10.4230/OASIcs.PLATEAU.2019.3},
url = {https://doi.org/10.4230/OASIcs.PLATEAU.2019.3},
researchr = {https://researchr.org/publication/LubinC19},
cites = {0},
citedby = {0},
booktitle = {10th Workshop on Evaluation and Usability of Programming Languages and Tools, PLATEAU@UIST 2019, October 24, 2019, New Orleans, Louisiana, USA},
editor = {Sarah Chasins and Elena L. Glassman and Joshua Sunshine},
volume = {76},
series = {OASICS},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
isbn = {978-3-95977-135-1},
}