A Computationally Adequate Model for Overloading via Domain-Valued Functors

Hideki Tsuiki. A Computationally Adequate Model for Overloading via Domain-Valued Functors. Mathematical Structures in Computer Science, 8(4):321-349, 1998.

@article{Tsuiki98,
  title = {A Computationally Adequate Model for Overloading via Domain-Valued Functors},
  author = {Hideki Tsuiki},
  year = {1998},
  researchr = {https://researchr.org/publication/Tsuiki98},
  cites = {0},
  citedby = {0},
  journal = {Mathematical Structures in Computer Science},
  volume = {8},
  number = {4},
  pages = {321-349},
}