Correctly typing objects through subtyping and type inference

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]

@inproceedings{Wu92a-0,
  title = {Correctly typing objects through subtyping and type inference},
  author = {Xuequn Wu},
  year = {1992},
  doi = {10.1145/130069.130079},
  url = {http://doi.acm.org/10.1145/130069.130079},
  researchr = {https://researchr.org/publication/Wu92a-0},
  cites = {0},
  citedby = {0},
  pages = {697-705},
  booktitle = {Proceedings of the 1992 ACM/SIGAPP Symposium on Applied Computing: Technological Challenges of the 1990's, Kansas City, MO, USA, March 1-3, 1992},
  editor = {Hal Berghel and Ed Deaton and George E. Hedrick and David Roach and Roger L. Wainwright},
  publisher = {ACM},
  isbn = {0-89791-502-X},
}