Type Checking Coherent Overloading

Dennis M. Volpano. Type Checking Coherent Overloading. Software - Concepts and Tools, 16(2):81-85, 1995.

@article{Volpano95,
  title = {Type Checking Coherent Overloading},
  author = {Dennis M. Volpano},
  year = {1995},
  tags = {type checking},
  researchr = {https://researchr.org/publication/Volpano95},
  cites = {0},
  citedby = {0},
  journal = {Software - Concepts and Tools},
  volume = {16},
  number = {2},
  pages = {81-85},
}