%0 Journal Article %1 journals/jfp/JonesVWS07 %A Jones, Simon L. Peyton %A Vytiniotis, Dimitrios %A Weirich, Stephanie %A Shields, Mark %D 2007 %J J. Funct. Program. %K dblp %N 1 %P 1-82 %T Practical type inference for arbitrary-rank types. %U http://dblp.uni-trier.de/db/journals/jfp/jfp17.html#JonesVWS07 %V 17

@article{journals/jfp/JonesVWS07, added-at = {2007-02-20T00:00:00.000+0100}, author = {Jones, Simon L. Peyton and Vytiniotis, Dimitrios and Weirich, Stephanie and Shields, Mark}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2d7b73b956e1cb5296ec85aaf78cfb8a5/dblp}, ee = {http://dx.doi.org/10.1017/S0956796806006034}, interhash = {fa8dd0e89ca4e54f404d61e8eea482b3}, intrahash = {d7b73b956e1cb5296ec85aaf78cfb8a5}, journal = {J. Funct. Program.}, keywords = {dblp}, number = 1, pages = {1-82}, timestamp = {2016-02-02T04:26:42.000+0100}, title = {Practical type inference for arbitrary-rank types.}, url = {http://dblp.uni-trier.de/db/journals/jfp/jfp17.html#JonesVWS07}, volume = 17, year = 2007 }