@inproceedings{Stansifer88,
  title = {Type Inference with Subtypes},
  author = {Ryan Stansifer},
  year = {1988},
  tags = {type inference, subtyping},
  researchr = {https://researchr.org/publication/Stansifer88},
  cites = {0},
  citedby = {0},
  pages = {88-97},
  booktitle = {POPL},
}