The type inference and coercion facilities in the scratchpad II interpreter

Authors:
R. S. Sutor;R. D. Jenks
Affiliations:
Computer Algebra Group, Mathematical Sciences Department, IBM Thomas J. Watson Research Center, P.O . Box 218, Yorktown Heights, New York;Computer Algebra Group, Mathematical Sciences Department, IBM Thomas J. Watson Research Center, P.O . Box 218, Yorktown Heights, New York
Venue:
SIGPLAN '87 Papers of the Symposium on Interpreters and interpretive techniques
Year:
1987

Citing 3
Cited 9

CLU reference manual

CLU reference manual
An introduction to Trellis/Owl

OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
A language for computational algebra

SYMSAC '81 Proceedings of the fourth ACM symposium on Symbolic and algebraic computation

Type inference in the presence of type abstraction

PLDI '89 Proceedings of the ACM SIGPLAN 1989 Conference on Programming language design and implementation
A rewrite-based type discipline for a subset of computer algebra

Journal of Symbolic Computation
How to make AXIOM into a scratchpad

ISSAC '94 Proceedings of the international symposium on Symbolic and algebraic computation
Algorithms for type inference with coercions

ISSAC '94 Proceedings of the international symposium on Symbolic and algebraic computation
Object oriented method for Axiom

ACM SIGPLAN Notices
Implementing signatures for C++

ACM Transactions on Programming Languages and Systems (TOPLAS)
Abstract Data Types in Computer Algebra

MFCS '00 Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science
Implementing signatures for C++

CTEC'94 Proceedings of the 6th conference on USENIX Sixth C++ Technical Conference - Volume 6
Interfacing mathemagix with C++

Proceedings of the 38th international symposium on International symposium on symbolic and algebraic computation

Quantified Score

Hi-index	0.00

Visualization

Abstract

The Scratchpad II system is an abstract datatype programming language, a compiler for the language, a library of packages of polymorphic functions and parametrized abstract datatypes, and an interpreter that provides sophisticated type inference and coercion facilities. Although originally designed for the implementation of symbolic mathematical algorithms, Scratchpad II is a general purpose programming language. This paper discusses aspects of the implementation of the interpreter and how it attempts to provide a user friendly and relatively weakly typed front end for the strongly typed programming language.