Pascal user manual and report; 3rd ed.
Pascal user manual and report; 3rd ed.
Communications of the ACM
POPL '73 Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Parameterized Data Types in Algebraic Specification Languages (Short Version)
Proceedings of the 7th Colloquium on Automata, Languages and Programming
MODLISP -- an introduction (invited)
EUROSAM '79 Proceedings of the International Symposiumon on Symbolic and Algebraic Computation
Proceedings of the Proceedings of the First International Symposium on Category Theory Applied to Computation and Control
Programming with abstract data types
Proceedings of the ACM SIGPLAN symposium on Very high level languages
POPL '76 Proceedings of the 3rd ACM SIGACT-SIGPLAN symposium on Principles on programming languages
Toward a formal implementation of computer algebra
ACM SIGSAM Bulletin
| Hi-index | 0.00 |
This paper discusses the design and implementation of MODLISP, a LISP-like language enhanced with the idea of MODes. This extension permits, but does not require, the user to declare the types of various variables, and to compile functions with the arguments declared to be of a particular type. It is possible to declare several functions of the same name, with arguments of different type (e.g. PLUS could be declared for Integer arguments, or Rational, or Real, or even Polynomial arguments) and the system will apply the correct function for the types of the arguments.