Type Inference in the Presence of Overloading, Subtyping and Recursive Types - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Stefan Kaes. Type Inference in the Presence of Overloading, Subtyping and Recursive Types. In Proceedings of the 1992 ACM Conference on LISP and Functional Programming. LFP '92, pages 193-204, Association for Computing Machinery, New York, NY, USA, 1992. [doi]

This author has not been identified. Look up 'Stefan Kaes' in Google

runs on WebDSL