@article{Reynolds1980, author = "John C Reynolds", title = "{Using category theory to design implicit conversions and generic operators}", year = "1980", month = "1", url = "https://kilthub.cmu.edu/articles/journal_contribution/Using_category_theory_to_design_implicit_conversions_and_generic_operators/6612623", doi = "10.1184/R1/6612623.v1" }