A type system for computer algebra

DOI10.1006/jsco.1995.1006zbMath0836.68061OpenAlexW2013072751MaRDI QIDQ1895401

Philip S. Santas

Publication date: 10 September 1995

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1006/jsco.1995.1006

zbMATH Keywords

computer algebraautomatic inference of type classes

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Theory of programming languages (68N15) Abstract data types; algebraic specification (68Q65)

Related Items

Type classes for mathematics in type theory

Uses Software

• AXIOM