Categories as type classes in the Scala algebra system

DOI10.1007/978-3-319-02297-0_18MaRDI QIDQ5168475zbMATH OpenOpenAlexFDO

Authors Raphaël Jolly

Publication date 7 July 2014

Published in Computer Algebra in Scientific Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-02297-0_18

zbMATH Keywords

bounded polymorphismcategoriestype classes

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Symbolic computation and algebraic computation (68W30)

Recommendations

• A type system for computer algebra
• scientific article; zbMATH DE number 92598
• scientific article; zbMATH DE number 176139
• Algebraic structures as typed objects
• Generic, type-safe and object oriented computer algebra software

Cited in

(4)

• Algebraic structures as typed objects
• Generic, type-safe and object oriented computer algebra software
• scientific article; zbMATH DE number 814792 (Why is no real title available?)
• Employing C++ templates in the design of a computer algebra library

Describes a project that uses

Uses Software

• Mathemagix
• AXIOM
• Scala
• ScAS

This page was built for publication: Categories as type classes in the Scala algebra system

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5168475)