Polymorphic Type Inference for Languages with Overloading and Subtyping

Geoffrey Smith. Polymorphic Type Inference for Languages with Overloading and Subtyping. PhD thesis, Cornell University, USA, 1991.

@phdthesis{us-295,
  title = {Polymorphic Type Inference for Languages with Overloading and Subtyping},
  author = {Geoffrey Smith},
  year = {1991},
  researchr = {https://researchr.org/publication/us-295},
  cites = {0},
  citedby = {0},
  school = {Cornell University, USA},
}