Type inference in the presence of overloading, subtyping and recursive types
Article in ACM SIGPLAN Lisp Pointers (January 1992)
The most recent citing publications are shown below. View all 3 publications that cite this research output on Dimensions.
Article in ACM SIGPLAN Lisp Pointers (January 1992)
Conference proceeding in ACM SIGPLAN Lisp Pointers (January 1992)
Book chapter (January 1990)