Explaining Type Inference

Dominic Duggan, Frederick Bent. Explaining Type Inference. Science of Computer Programming, 27(1):37-83, 1996.

@article{DugganB96,
  title = {Explaining Type Inference},
  author = {Dominic Duggan and Frederick Bent},
  year = {1996},
  tags = {type inference},
  researchr = {https://researchr.org/publication/DugganB96},
  cites = {0},
  citedby = {0},
  journal = {Science of Computer Programming},
  volume = {27},
  number = {1},
  pages = {37-83},
}