Inproceedings,

Towards a Categorical Semantics Type Classes.

, and .
MFCS, volume 520 of Lecture Notes in Computer Science, page 191-201. Springer, (1991)

Meta data

Tags

Users

  • @dblp

Comments and Reviews