%0 Journal Article %1 journals/jucs/VasconcellosFC03 %A Vasconcellos, Cristiano %A Figueiredo, Lucília %A Camarão, Carlos %D 2003 %J J. UCS %K dblp %N 8 %P 873-890 %T Practical Type Inference for Polymorphic Recursion: an Implementation in Haskell. %U http://dblp.uni-trier.de/db/journals/jucs/jucs9.html#VasconcellosFC03 %V 9

@article{journals/jucs/VasconcellosFC03, added-at = {2004-03-12T00:00:00.000+0100}, author = {Vasconcellos, Cristiano and Figueiredo, Lucília and Camarão, Carlos}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/20ffacaca78f3e7d4168c6dda854ca7eb/dblp}, ee = {http://www.jucs.org/jucs_9_8/practical_type_inference_for}, interhash = {50ad45954a67514fd86bc369bcfe1f4b}, intrahash = {0ffacaca78f3e7d4168c6dda854ca7eb}, journal = {J. UCS}, keywords = {dblp}, number = 8, pages = {873-890}, timestamp = {2016-02-02T10:40:12.000+0100}, title = {Practical Type Inference for Polymorphic Recursion: an Implementation in Haskell.}, url = {http://dblp.uni-trier.de/db/journals/jucs/jucs9.html#VasconcellosFC03}, volume = 9, year = 2003 }