Mauricio Ayala-Rincón, Eduardo Bonelli, Juan Edi, Andrés Viso. Typed path polymorphism. Theoretical Computer Science, 781:111-130, 2019. [doi]
@article{Ayala-RinconBEV19, title = {Typed path polymorphism}, author = {Mauricio Ayala-Rincón and Eduardo Bonelli and Juan Edi and Andrés Viso}, year = {2019}, doi = {10.1016/j.tcs.2019.02.018}, url = {https://doi.org/10.1016/j.tcs.2019.02.018}, researchr = {https://researchr.org/publication/Ayala-RinconBEV19}, cites = {0}, citedby = {0}, journal = {Theoretical Computer Science}, volume = {781}, pages = {111-130}, }