MODLISP: An introduction

This publication has 11 references indexed in Scilit:

• SCRATCHPAD/360
  ACM SIGSAM Bulletin, 1979
• Data type specification
  Published by Association for Computing Machinery (ACM) ,1978
• Abstraction mechanisms in CLU
  Communications of the ACM, 1977
• On the design of a mode-based symbolic system
  ACM SIGSAM Bulletin, 1977
• Abstract Data Types and Software Validation
  Published by Defense Technical Information Center (DTIC) ,1976
• The definition and use of data structures in REDUCE
  Published by Association for Computing Machinery (ACM) ,1976
• Toward a formal implementation of computer algebra
  ACM SIGSAM Bulletin, 1974
• The SCRATCHPAD language
  Published by Association for Computing Machinery (ACM) ,1974
• A mode analyzing algebraic manipulation program
  Published by Association for Computing Machinery (ACM) ,1974
• LISP 1.5 PROGRAMMER'S MANUAL
  Published by Defense Technical Information Center (DTIC) ,1962