Efficient Type Inference and Coercion in Computer Algebra

Authors:
Albrecht Fortenbacher
Affiliations:
-
Venue:
DISCO '90 Proceedings of the International Symposium on Design and Implementation of Symbolic Computation Systems
Year:
1990

Citing 0
Cited 3

Algorithms for type inference with coercions

ISSAC '94 Proceedings of the international symposium on Symbolic and algebraic computation
Abstract Data Types in Computer Algebra

MFCS '00 Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science
Cited References

Computer algebra handbook

Quantified Score

Hi-index	0.00

Visualization

Abstract