Benoît Vaugon, Michel Mauny. A Type Inference System Based on Saturation of Subtyping Constraints. In David Van Horn, John Hughes, editors, Trends in Functional Programming - 17th International Conference, TFP 2016, College Park, MD, USA, June 8-10, 2016, Revised Selected Papers. Volume 10447 of Lecture Notes in Computer Science, pages 94-112, Springer, 2016. [doi]
Abstract is missing.