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}, }