Towards a Categorical Semantics Type Classes

Barney P. Hilken, David E. Rydeheard. Towards a Categorical Semantics Type Classes. In Andrzej Tarlecki, editor, Mathematical Foundations of Computer Science 1991, 16th International Symposium, MFCS 91, Kazimierz Dolny, Poland, September 9-13, 1991, Proceedings. Volume 520 of Lecture Notes in Computer Science, pages 191-201, Springer, 1991.

Abstract

Abstract is missing.