Using category theory to define implicit coercions and generic operators (1980)

by J C Reynolds
Venue:Semantics-Directed Compiler Generation, LNCS 94