Skip to content

Using category theory to design implicit conversions and generic operators.

John C. Reynolds

VenueBCC
Year1980
ProceedingsSemantics-Directed Compiler Generation

Browse the full CC paper archive.