%0 Conference Paper %1 conf/ml/KuanM07 %A Kuan, George %A MacQueen, David %B ML %D 2007 %E Russo, Claudio V. %E Dreyer, Derek %I ACM %K dblp %P 3-14 %T Efficient type inference using ranked type variables. %U http://dblp.uni-trier.de/db/conf/ml/ml2007.html#KuanM07 %@ 978-1-59593-676-9

@inproceedings{conf/ml/KuanM07, added-at = {2018-11-06T00:00:00.000+0100}, author = {Kuan, George and MacQueen, David}, biburl = {https://www.bibsonomy.org/bibtex/23a389bfd7b9a104da04f51975dce3201/dblp}, booktitle = {ML}, crossref = {conf/ml/2007}, editor = {Russo, Claudio V. and Dreyer, Derek}, ee = {https://doi.org/10.1145/1292535.1292538}, interhash = {b6ef56037d85ee5b2ac16d9c71b8c92a}, intrahash = {3a389bfd7b9a104da04f51975dce3201}, isbn = {978-1-59593-676-9}, keywords = {dblp}, pages = {3-14}, publisher = {ACM}, timestamp = {2018-11-07T14:10:06.000+0100}, title = {Efficient type inference using ranked type variables.}, url = {http://dblp.uni-trier.de/db/conf/ml/ml2007.html#KuanM07}, year = 2007 }