Using category theory to design implicit conversions and generic operators (1980)

by John Reynolds
Venue:LNCS 94: Proceedings of Aarhus Workshop on Semantics-Directed Compiler Generation