The type inference and coercion facilities in the scratchpad II interpreter

  title={The type inference and coercion facilities in the scratchpad II interpreter},
  author={R. S. Sutor and R. Jenks},
  booktitle={SIGPLAN '87},
  • R. S. Sutor, R. Jenks
  • Published in SIGPLAN '87 1987
  • Computer Science
  • 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… CONTINUE READING
    Implementing signatures for C++
    • 32
    • Highly Influenced
    • PDF
    Interfacing mathemagix with C++
    • 5
    • Highly Influenced
    • PDF
    A Type-Coercion Problem in Computer Algebra
    • 4
    • PDF
    A type system for computer algebra (abstract)
    • 1
    Algorithms for type inference with coercions
    • 4
    • PDF
    Applying AXIOM to Partial Differential Equations
    • 10