%0 Conference Paper %1 conf/icfp/RemyY08 %A Rémy, Didier %A Yakobowski, Boris %B ICFP %D 2008 %E Hook, James %E Thiemann, Peter %I ACM %K dblp %P 63-74 %T From ML to MLF: graphic type constraints with efficient type inference. %U http://dblp.uni-trier.de/db/conf/icfp/icfp2008.html#RemyY08 %@ 978-1-59593-919-7

@inproceedings{conf/icfp/RemyY08, added-at = {2021-06-25T00:00:00.000+0200}, author = {Rémy, Didier and Yakobowski, Boris}, biburl = {https://www.bibsonomy.org/bibtex/296b3cb95e0ae1fc329427e0e865fcf67/dblp}, booktitle = {ICFP}, crossref = {conf/icfp/2008}, editor = {Hook, James and Thiemann, Peter}, ee = {https://doi.org/10.1145/1411203.1411216}, interhash = {1996527b232cccf39171c4f6824c81b2}, intrahash = {96b3cb95e0ae1fc329427e0e865fcf67}, isbn = {978-1-59593-919-7}, keywords = {dblp}, pages = {63-74}, publisher = {ACM}, timestamp = {2024-04-09T17:30:59.000+0200}, title = {From ML to MLF: graphic type constraints with efficient type inference.}, url = {http://dblp.uni-trier.de/db/conf/icfp/icfp2008.html#RemyY08}, year = 2008 }