Searching for "Using category theory to design implicit conversions and generic operators." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

Theoretical Aspects of Object-Oriented Programming - Types, Semantics, and Language Design
by Carl A. Gunter, John C. Mitchell (eds.), John C. Mitchell, Michael Garey, Albert Meyer, Naoki Katoh — 1993
… to Design Implicit Conversions and Generic Operators. John C. Reynolds 14 II Type Inference 15 3 Type…
Cited by 10 (0 self) – Add To MetaCart

Proc. Summer Workshop on Category and Computer
by Programming Surrey Lncs, Smyth M — 293
….S. Dept., Edinburgh. Reynolds J. [1980] "Using category theory to design implicit conversion and generic…
Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB