{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T21:41:54Z","timestamp":1725745314936},"publisher-location":"Cham","reference-count":14,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319022963"},{"type":"electronic","value":"9783319022970"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-319-02297-0_18","type":"book-chapter","created":{"date-parts":[[2013,8,14]],"date-time":"2013-08-14T07:37:38Z","timestamp":1376465858000},"page":"209-218","source":"Crossref","is-referenced-by-count":3,"title":["Categories as Type Classes in the Scala Algebra System"],"prefix":"10.1007","author":[{"given":"Rapha\u00ebl","family":"Jolly","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"18_CR1","unstructured":"Jolly, R.: ScAS - Scala algebra system. Technical report (2010-2012), \n                  \n                    https:\/\/github.com\/rjolly\/scas"},{"issue":"2-3","key":"18_CR2","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1016\/j.scico.2007.07.010","volume":"70","author":"H. Kredel","year":"2008","unstructured":"Kredel, H.: On a Java Computer Algebra System, its performance and applications. Science of Computer Programming\u00a070(2-3), 185\u2013207 (2008)","journal-title":"Science of Computer Programming"},{"key":"18_CR3","unstructured":"Odersky, M.: Poor man\u2019s type classes. Technical report (Presentation at the meeting of IFIP WG) (2006), \n                  \n                    http:\/\/lampwww.epfl.ch\/~odersky\/talks\/wg2.8-boston06.pdf"},{"key":"18_CR4","unstructured":"Davenport, J.: The axiom system. In: Proceedings of NAGUA 1991 (1992)"},{"issue":"2","key":"18_CR5","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1145\/190694.190695","volume":"28","author":"D. Gruntz","year":"1994","unstructured":"Gruntz, D., Monagan, M.: Introduction to GAUSS. SIGSAM Bulletin\u00a028(2), 3\u201319 (1994)","journal-title":"SIGSAM Bulletin"},{"key":"18_CR6","unstructured":"Mechveliani, S.: Computer algebra with haskell: applying functional-categorial-\u201clazy\u201d programming. In: Gerdt, V. (ed.) Proceedings of International Workshop CAAP, Joint Institute for Nuclear Research, pp. 203\u2013211 (2001)"},{"key":"18_CR7","unstructured":"van der Hoeven, J., Lecerf, G., Mourrain, B.: Mathemagix. Technical report (2002-2012), \n                  \n                    http:\/\/www.mathemagix.org\/"},{"key":"18_CR8","unstructured":"Niculescu, V.: A design proposal for an object oriented algebraic library. Technical report, Studia Universitatis \u201cBabes-Bolyai\u201d (2003)"},{"issue":"10","key":"18_CR9","doi-asserted-by":"publisher","first-page":"341","DOI":"10.1145\/1932682.1869489","volume":"45","author":"B.C. Oliveira","year":"2010","unstructured":"Oliveira, B.C., Moors, A., Odersky, M.: Type classes as objects and implicits. SIGPLAN Not.\u00a045(10), 341\u2013360 (2010)","journal-title":"SIGPLAN Not."},{"key":"18_CR10","unstructured":"Watt, S.: Post facto type extensions for mathematical programming. In: Proc. Domain-Specific Aspect languages (SIGPLAN\/SIGSOFT DSAL 2006), October 23. ACM (2006)"},{"issue":"1.54","key":"18_CR11","first-page":"2615","volume":"10","author":"A. Weber","year":"1993","unstructured":"Weber, A., Klaeren, H.: Type systems for computer algebra. Relation\u00a010(1.54), 2615 (1993)","journal-title":"Relation"},{"issue":"1-3","key":"18_CR12","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1006\/jsco.1995.1006","volume":"19","author":"P.S. Santas","year":"1995","unstructured":"Santas, P.S.: A type system for computer algebra. J. Symb. Comput.\u00a019(1-3), 79\u2013109 (1995)","journal-title":"J. Symb. Comput."},{"key":"18_CR13","unstructured":"Scala developpers: A tour of scala: Implicit parameters. Technical report (2008-2010), \n                  \n                    http:\/\/www.scala-lang.org\/node\/114"},{"key":"18_CR14","unstructured":"Osheim, E., Switzer, T.: Powerful new number types and numeric abstractions for scala. Technical report (2011-2012), \n                  \n                    https:\/\/github.com\/non\/spire"}],"container-title":["Lecture Notes in Computer Science","Computer Algebra in Scientific Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-02297-0_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,16]],"date-time":"2019-05-16T12:00:30Z","timestamp":1558008030000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-02297-0_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783319022963","9783319022970"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-02297-0_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}