Categories as Type Classes in the Scala Algebra System

DOI10.1007/978-3-319-02297-0_18zbMath1411.68211OpenAlexW1787670057MaRDI QIDQ5168475

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

categoriestype classesbounded polymorphism

Mathematics Subject Classification ID

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

Related Items (1)

Employing C++ Templates in the Design of a Computer Algebra Library

Uses Software

• AXIOM
• Mathemagix
• Scala
• ScAS

This page was built for publication: Categories as Type Classes in the Scala Algebra System