%0 Journal Article %1 journals/corr/VisoBA16 %A Viso, Andrés %A Bonelli, Eduardo %A Ayala-Rincón, Mauricio %D 2016 %J CoRR %K %T Type Soundness for Path Polymorphism. %U http://dblp.uni-trier.de/db/journals/corr/corr1601.html#VisoBA16 %V abs/1601.03271

@article{journals/corr/VisoBA16, added-at = {2023-12-13T02:21:21.000+0100}, author = {Viso, Andrés and Bonelli, Eduardo and Ayala-Rincón, Mauricio}, biburl = {https://www.bibsonomy.org/bibtex/2381e2deb0844d22d348466d93132838c/admin}, ee = {http://arxiv.org/abs/1601.03271}, interhash = {7e287e9c1c244a78cb9931b42b045dbf}, intrahash = {381e2deb0844d22d348466d93132838c}, journal = {CoRR}, keywords = {}, timestamp = {2023-12-13T02:21:21.000+0100}, title = {Type Soundness for Path Polymorphism.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1601.html#VisoBA16}, volume = {abs/1601.03271}, year = 2016 }