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

by John Reynolds
Venue:Proceedings of the Aarhus Workshop on Semantics-Directed Compiler Generation, number 94 in Lecture Notes in Computer Science