Towards a Categorical Semantics Type Classes.

Barney P. Hilken, David E. Rydeheard

Browse the full MFCS paper archive.