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

by John C Reynolds
Venue:In Semantics-Directed Compiler Generation, Proceedings of a Workshop