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]
Abstract is missing.