%0 Conference Paper %1 conf/types/EdiVB15 %A Edi, Juan %A Viso, Andrés %A Bonelli, Eduardo %B TYPES %D 2015 %E Uustalu, Tarmo %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 6:1-6:23 %T Efficient Type Checking for Path Polymorphism. %U http://dblp.uni-trier.de/db/conf/types/types2015.html#EdiVB15 %V 69 %@ 978-3-95977-030-9

@inproceedings{conf/types/EdiVB15, added-at = {2022-04-09T00:00:00.000+0200}, author = {Edi, Juan and Viso, Andrés and Bonelli, Eduardo}, biburl = {https://www.bibsonomy.org/bibtex/2e4a5541d20b7e721b57fea3d027e6293/dblp}, booktitle = {TYPES}, crossref = {conf/types/2015}, editor = {Uustalu, Tarmo}, ee = {https://doi.org/10.4230/LIPIcs.TYPES.2015.6}, interhash = {990019b394a882915f22eb6a0ee0c21b}, intrahash = {e4a5541d20b7e721b57fea3d027e6293}, isbn = {978-3-95977-030-9}, keywords = {dblp}, pages = {6:1-6:23}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2024-04-10T20:15:33.000+0200}, title = {Efficient Type Checking for Path Polymorphism.}, url = {http://dblp.uni-trier.de/db/conf/types/types2015.html#EdiVB15}, volume = 69, year = 2015 }