A Computationally Adequate Model for Overloading via Domain-Valued Functors.

Hideki Tsuiki A Computationally Adequate Model for Overloading via Domain-Valued Functors. 321-349 1998 8 Mathematical Structures in Computer Science 4 db/journals/mscs/mscs8.html#Tsuiki98