Didier Rémy, Boris Yakobowski
From ML to ML<sup>Fsup>: graphic type constraints with efficient type inference
ICFP, 2008.
@inproceedings{ICFP-2008-RemyY,
author = "Didier Rémy and Boris Yakobowski",
booktitle = "{Proceedings of the 13th International Conference on Functional Programming}",
doi = "10.1145/1411204.1411216",
editor = "James Hook and Peter Thiemann",
isbn = "978-1-59593-919-7",
pages = "63--74",
publisher = "{ACM}",
title = "{From ML to MLF: graphic type constraints with efficient type inference}",
year = 2008,
}