A Framework for Type Inference with Subtyping

François Pottier. A Framework for Type Inference with Subtyping. In Matthias Felleisen, Paul Hudak, Christian Queinnec, editors, Proceedings of the third ACM SIGPLAN international conference on Functional programming. pages 228-238, ACM, Baltimore, Maryland, United States, 1998. [doi]

Authors

François Pottier

This author has not been identified. Look up 'François Pottier' in Google