%0 Conference Paper %1 conf/sblp/MoreiraVR18 %A Moreira, Gabriela %A Vasconcellos, Cristiano D. %A Ribeiro, Rodrigo Geraldo %B SBLP %D 2018 %E Camarão, Carlos %E Sulzmann, Martin %I ACM %K dblp %P 51-58 %T Type inference for GADTs, outsidein and anti-unification. %U http://dblp.uni-trier.de/db/conf/sblp/sblp2018.html#MoreiraVR18 %@ 978-1-4503-6480-5

@inproceedings{conf/sblp/MoreiraVR18, added-at = {2019-09-25T00:00:00.000+0200}, author = {Moreira, Gabriela and Vasconcellos, Cristiano D. and Ribeiro, Rodrigo Geraldo}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/26602734376214259b755a2da7e762f72/dblp}, booktitle = {SBLP}, crossref = {conf/sblp/2018}, editor = {Camarão, Carlos and Sulzmann, Martin}, ee = {https://doi.org/10.1145/3264637.3264644}, interhash = {f6adaf51bc782d7228675d3167342486}, intrahash = {6602734376214259b755a2da7e762f72}, isbn = {978-1-4503-6480-5}, keywords = {dblp}, pages = {51-58}, publisher = {ACM}, timestamp = {2019-09-27T14:04:15.000+0200}, title = {Type inference for GADTs, outsidein and anti-unification.}, url = {http://dblp.uni-trier.de/db/conf/sblp/sblp2018.html#MoreiraVR18}, year = 2018 }