Author of the publication

The type inference and coercion facilities in the scratchpad II interpreter.

, and . PLDI, page 56-63. ACM, (1987)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

MODLISP., and . LISP Conference, page 65-74. ACM, (1980)A language for computational algebra., and . SYMSACC, page 6-13. ACM, (1981)A pattern compiler.. SYMSACC, page 60-65. ACM, (1976)MODLISP., and . SIGSAM Bull., 15 (1): 11-20 (1981)The type inference and coercion facilities in the scratchpad II interpreter., and . PLDI, page 56-63. ACM, (1987)META LISP and META PLUS: : Tools for rapidly implementing extendable language translators.. SYMSAC, page 281. ACM, (1971)1962-1992: The First 30 Years of Symbolic Mathematical Programming Systems.. Trends in Computer Algebra, volume 296 of Lecture Notes in Computer Science, page 1. Springer, (1987)Scratchpad II: An Abstract Datatype System for Mathematical Computation., , and . Trends in Computer Algebra, volume 296 of Lecture Notes in Computer Science, page 12-37. Springer, (1987)A Primer: 11 Keys to New Scratchpad.. EUROSAM, volume 174 of Lecture Notes in Computer Science, page 123-147. Springer, (1984)How to Make AXIOM into a Scratchpad., and . ISSAC, page 32-40. ACM, (1994)