{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,2]],"date-time":"2022-04-02T13:15:07Z","timestamp":1648905307565},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540601562","type":"print"},{"value":"9783540495338","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-60156-2_10","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:46:15Z","timestamp":1330278375000},"page":"131-143","source":"Crossref","is-referenced-by-count":0,"title":["Using commutativity properties for controlling coercions"],"prefix":"10.1007","author":[{"given":"Stephan A.","family":"Missura","sequence":"first","affiliation":[]},{"given":"Andreas","family":"Weber","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"10_CR1","doi-asserted-by":"publisher","first-page":"481","DOI":"10.1145\/138351.138377","volume":"18","author":"O. Abarth","year":"1992","unstructured":"O. Abarth and M. J. Schaefer. Precise computation using range arithmetic, via C++. ACM Trans. Math. Software, 18:481\u2013491, 1992.","journal-title":"ACM Trans. Math. Software"},{"key":"10_CR2","volume-title":"Compilers \u2014 Principles, Techniques and Tools","author":"A. V. Aho","year":"1986","unstructured":"A. V. Aho, R. Sethi, and J. D. Ullman. Compilers \u2014 Principles, Techniques and Tools. Addison-Wesley, Reading, MA, 1986."},{"key":"10_CR3","doi-asserted-by":"crossref","first-page":"349","DOI":"10.1016\/S0747-7171(08)80110-1","volume":"11","author":"H. Comon","year":"1991","unstructured":"H. Comon, D. Lugiez, and P. Schnoebelen. A rewrite-based type discipline for a subset of computer algebra. Journal of Symbolic Computation, 11:349\u2013368, 1991.","journal-title":"Journal of Symbolic Computation"},{"key":"10_CR4","doi-asserted-by":"crossref","unstructured":"P. Hudak, S. Peyton Jones, P. Wadler, et al. Report on the programming language Haskell \u2014 a non-strict, purely functional language, version 1.2. ACM SIGPLAN Notices, 27(5), May 1992.","DOI":"10.1145\/130697.130699"},{"key":"10_CR5","volume-title":"AXIOM: The Scientific Computation System","author":"R. D. Jenks","year":"1992","unstructured":"R. D. Jenks and R. S. Sutor. AXIOM: The Scientific Computation System. Springer-Verlag, New York, 1992."},{"key":"10_CR6","first-page":"144","volume-title":"volume 598 of Lecture Notes in Computer Science","author":"G. T. Leavens","year":"1991","unstructured":"G. T. Leavens and D. Pigozzi. Typed homomorphic relations extended with subtypes. In S. Brookes, M. Main, A. Melton, M. Mislove, and D. Schmidt, editors, Mathematical Foundations of Programming Semantics \u2014 7th International Conference, volume 598 of Lecture Notes in Computer Science, pages 144\u2013167, Pittsburgh, PA, Mar. 1991. Springer-Verlag."},{"key":"10_CR7","volume-title":"volume 5 of Graduate Texts in Mathematics","author":"S. M. Lane","year":"1971","unstructured":"S. Mac Lane. Categories for the Working Mathematician, volume 5 of Graduate Texts in Mathematics. Springer-Verlag, New York, 1971."},{"key":"10_CR8","doi-asserted-by":"crossref","volume-title":"Basic Category Theory for Computer Scientists","author":"B. C. Pierce","year":"1991","unstructured":"B. C. Pierce. Basic Category Theory for Computer Scientists. The MIT Press, Cambridge, MA, 1991.","DOI":"10.7551\/mitpress\/1524.001.0001"},{"key":"10_CR9","doi-asserted-by":"crossref","unstructured":"D. L. Rector. Semantics in algebraic computation. In E. Kaltofen and S. M. Watt, editors, Computers and Mathematics, pages 299\u2013307, Massachusetts Institute of Technology, June 1989. Springer-Verlag.","DOI":"10.1007\/978-1-4613-9647-5_34"},{"key":"10_CR10","first-page":"211","volume-title":"volume 94 of Lecture Notes in Computer Science","author":"J. C. Reynolds","year":"1980","unstructured":"J. C. Reynolds. Using category theory to design implicit conversions and generic operators. In N. D. Jones, editor, Semantics-Directed Compiler Generation, Workshop, volume 94 of Lecture Notes in Computer Science, pages 211\u2013258, Aarhus, Denmark, Jan. 1980. Springer-Verlag."},{"key":"10_CR11","volume-title":"The C++ Programming Language","author":"B. Stroustrup","year":"1991","unstructured":"B. Stroustrup. The C++ Programming Language. Addison-Wesley, Reading, MA, second edition, 1991.","edition":"second edition"},{"key":"10_CR12","first-page":"188","volume-title":"volume 737 of Lecture Notes in Computer Science","author":"A. Weber","year":"1992","unstructured":"A. Weber. A type-coercion problem in computer algebra. In J. Calmet and J. A. Campbell, editors, Artifical Intelligence and Symbolic Mathematical Computation \u2014 International Conference AISMC-1, volume 737 of Lecture Notes in Computer Science, pages 188\u2013194, Karlsruhe, Germany, Aug. 1992. Springer-Verlag."},{"key":"10_CR13","first-page":"95","volume-title":"volume 722 of Lecture Notes in Computer Science","author":"A. Weber","year":"1993","unstructured":"A. Weber. On coherence in computer algebra. In A. Miola, editor, Design and Implementation of Symbolic Computation Systems \u2014 International Symposium DISCO '93, volume 722 of Lecture Notes in Computer Science, pages 95\u2013106, Gmunden, Austria, Sept. 1993. Springer-Verlag."},{"key":"10_CR14","unstructured":"A. Weber. Type Systems for Computer Algebra. Dissertation, Fakult\u00c4t f\u00fcr Informatik, Universit\u00c4t T\u00fcbingen, July 1993."},{"key":"10_CR15","first-page":"324","volume-title":"Algorithms for type inference with coercions","author":"A. Weber","year":"1994","unstructured":"A. Weber. Algorithms for type inference with coercions. In Proc. Symposium on Symbolic and Algebraic Computation (ISSAC '94), pages 324\u2013329, Oxford, July 1994. Association for Computing Machinery."}],"container-title":["Integrating Symbolic Mathematical Computation and Artificial Intelligence","Lecture Notes in Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60156-2_10.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:55:19Z","timestamp":1605646519000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60156-2_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540601562","9783540495338"],"references-count":15,"URL":"http:\/\/dx.doi.org\/10.1007\/3-540-60156-2_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"published":{"date-parts":[[1995]]}}}