François Pottier
A Framework for Type Inference with Subtyping
ICFP, 1998.
@inproceedings{ICFP-1998-Pottier, author = "François Pottier", booktitle = "{Proceedings of the Third International Conference on Functional Programming}", doi = "10.1145/289423.289448", editor = "Matthias Felleisen and Paul Hudak and Christian Queinnec", isbn = "1-58113-024-4", pages = "228--238", publisher = "{ACM}", title = "{A Framework for Type Inference with Subtyping}", year = 1998, }