{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,27]],"date-time":"2026-03-27T09:03:48Z","timestamp":1774602228944,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540102502","type":"print"},{"value":"9783540383390","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1980]]},"DOI":"10.1007\/3-540-10250-7_24","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T12:07:11Z","timestamp":1330171631000},"page":"211-258","source":"Crossref","is-referenced-by-count":49,"title":["Using category theory to design implicit conversions and generic operators"],"prefix":"10.1007","author":[{"given":"John C.","family":"Reynolds","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,25]]},"reference":[{"key":"7_CR1","unstructured":"Goguen, J. A., \"Order Sorted Algebras: Exceptions and Error Sorts, Coercions and Overloaded Operators\", Semantics and Theory of Computation Report #14, Computer Science Department, U.C.L.A., (December 1978). To appear in Journal of Computer and Systems Science."},{"issue":"1","key":"7_CR2","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1145\/321992.321997","volume":"24","author":"J. A. Goguen","year":"1977","unstructured":"Goguen, J. A., Thatcher, J. W., Wagner, E. G., and Wright, J. B., \"Initial Algebra Semantics and Continuous Algebras\", Journal ACM 24 (1) pp. 68\u201395 (January 1977).","journal-title":"Journal ACM"},{"key":"7_CR3","unstructured":"Burstall, R. M., and Landin, P. J., \"Programs and Their Proofs: An Algebraic Approach\", in Machine Intelligence 4, B. Meltzer and D. Michie, Eds., Edinburgh University Press, pp. 17\u201343 (1969)."},{"key":"7_CR4","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1016\/S0021-9800(70)80014-X","volume":"8","author":"G. Birkhoff","year":"1970","unstructured":"Birkhoff, G., and Lipson, J. D., \"Heterogeneous Algebras\", Journal of Combinatorial Theory 8, pp. 115\u2013133 (1970).","journal-title":"Journal of Combinatorial Theory"},{"key":"7_CR5","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1002\/mana.19630270108","volume":"27","author":"P. J. Higgins","year":"1963","unstructured":"Higgins, P. J., \"Algebras with a Schema of Operators\", Math. Nachr. 27, pp. 115\u2013132 (1963).","journal-title":"Math. Nachr."},{"key":"7_CR6","doi-asserted-by":"crossref","unstructured":"Morris, J. H., \"Types are not Sets\", Proc. ACM Symposium on Principles of Programming Languages, pp. 120\u2013124, Boston (1973).","DOI":"10.1145\/512927.512938"},{"key":"7_CR7","doi-asserted-by":"crossref","unstructured":"Reynolds, J. C., \"Syntactic Control of Interference\", Proc. Fifth ACM Symposium on Principles of Programming Languages, pp. 39\u201346, Tucson (1978).","DOI":"10.1145\/512760.512766"},{"key":"7_CR8","unstructured":"Reynolds, J. C., The Craft of Programming, in preparation."},{"key":"7_CR9","volume-title":"Categories for the Working Mathematician","author":"S. MacLane","year":"1971","unstructured":"MacLane, S., Categories for the Working Mathematician, Springer-Verlag, New York (1971)."},{"issue":"5","key":"7_CR10","doi-asserted-by":"publisher","first-page":"308","DOI":"10.1145\/362349.362364","volume":"13","author":"J. C. Reynolds","year":"1970","unstructured":"Reynolds, J. C., \"GEDANKEN \u2014 A Simple Typeless Language Based on the Principle of Completeness and the Reference Concept\", Comm. ACM 13 (5), pp. 308\u2013319 (May 1970).","journal-title":"Comm. ACM"},{"key":"7_CR11","volume-title":"Arrows, Structures, and Functors \u2014 The Categorical Imperative","author":"M. A. Arbib","year":"1975","unstructured":"Arbib, M. A., and Manes, E. G., Arrows, Structures, and Functors \u2014 The Categorical Imperative, Academic Press, New York (1975)."}],"container-title":["Lecture Notes in Computer Science","Semantics-Directed Compiler Generation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-10250-7_24.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T16:34:41Z","timestamp":1619541281000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-10250-7_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1980]]},"ISBN":["9783540102502","9783540383390"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-10250-7_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1980]]}}}