Rodolphe Lepigre, Christophe Raffalli. Practical Subtyping for Curry-Style Languages. ACM Transactions on Programming Languages and Systems, 41(1), 2019. [doi]
@article{LepigreR19, title = {Practical Subtyping for Curry-Style Languages}, author = {Rodolphe Lepigre and Christophe Raffalli}, year = {2019}, url = {https://dl.acm.org/citation.cfm?id=3285955}, researchr = {https://researchr.org/publication/LepigreR19}, cites = {0}, citedby = {0}, journal = {ACM Transactions on Programming Languages and Systems}, volume = {41}, number = {1}, }