Publisher
Springer Berlin Heidelberg
Reference10 articles.
1. R. S. Sutor and R. D. Jenks. The type inference and coercion facilities in the Scratchpad II interpreter. ACM SIGPLAN Notices, 22(7):56–63, 1987. SIGPLAN '87 Symposium on Interpreters and Interpretive Techniques.
2. J. H. Davenport and B. M. Trager. Scratchpad's view of algebra I: Basic commutative algebra. In Miola [10]., pages 40–54.
3. S. K. Abdali, G. W. Cherry, and N. Soiffer. A Smalltak system for algebraic manipulation. ACM SIGPLAN Notices, 21(11):277–283, November 1986. OOPSLA '86 Conference Proceedings, Portland, Oregon.
4. D. L. Rector. Semantics in algebraic computation. In E. Kaltofen and S. M. Watt, editors, Computers and Mathematics, pages 299–307, Massachusetts Institute of Technology, June 1989. Springer-Verlag.
5. G. Baumgartner and R. Stansifer. A proposal to study type systems for computer algebra. Technical Report 90-07.0, Research Institute for Symbolic Computation Linz, A-4040 Linz, Austria, March 1990.