Cristian F. Sottile, Alejandro Díaz-Caro, Pablo E. Martínez López. Polymorphic System I. In Olaf Chitil, editor, IFL 2020: 32nd Symposium on Implementation and Application of Functional Languages, Virtual Event / Canterbury, UK, September 2-4, 2020. pages 127-137, ACM, 2020. [doi]
@inproceedings{SottileDL20,
title = {Polymorphic System I},
author = {Cristian F. Sottile and Alejandro Díaz-Caro and Pablo E. Martínez López},
year = {2020},
doi = {10.1145/3462172.3462198},
url = {https://doi.org/10.1145/3462172.3462198},
researchr = {https://researchr.org/publication/SottileDL20},
cites = {0},
citedby = {0},
pages = {127-137},
booktitle = {IFL 2020: 32nd Symposium on Implementation and Application of Functional Languages, Virtual Event / Canterbury, UK, September 2-4, 2020},
editor = {Olaf Chitil},
publisher = {ACM},
isbn = {978-1-4503-8963-1},
}