Xuequn Wu. Correctly typing objects through subtyping and type inference. In Hal Berghel, Ed Deaton, George E. Hedrick, David Roach, Roger L. Wainwright, editors, Proceedings of the 1992 ACM/SIGAPP Symposium on Applied Computing: Technological Challenges of the 1990's, Kansas City, MO, USA, March 1-3, 1992. pages 697-705, ACM, 1992. [doi]
Abstract is missing.