MODLISP-Reference-Cited by-同舟云学术

MODLISP

Published:1981-02 Issue:1 Volume:15 Page:11-20
ISSN:0163-5824
Container-title:ACM SIGSAM Bulletin
language:en
Short-container-title:SIGSAM Bull.

Author:

Davenport James H.¹,Jenks Richard D.¹

Affiliation:

1. IBM Thomas J. Watson Research Center

Abstract

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.

Publisher

Association for Computing Machinery (ACM)

Link

https://dl.acm.org/doi/pdf/10.1145/1089242.1089244

Reference19 articles.

1. ADJ (1980) (Authors: H. Ehrig H.-J. Kreowski J.W. Thatcher E.G. Wagner J.B. Wright) Parameterized Data Types in Algebraic Specification Languages. To appear in Proceedings ICALP 80. ADJ (1980) (Authors: H. Ehrig H.-J. Kreowski J.W. Thatcher E.G. Wagner J.B. Wright) Parameterized Data Types in Algebraic Specification Languages. To appear in Proceedings ICALP 80.

2. Exception Handling and Data Abstraction;Black A.P;IBM Research Report RC,1980

3. Cohn P.M. Universal Algebra. Harper & Row New York 1965. Cohn P.M. Universal Algebra. Harper & Row New York 1965.

4. Cohen J.D. and Jenks R.D. On Resolution and Coercion in MODLISP. In preparation. Cohen J.D. and Jenks R.D. On Resolution and Coercion in MODLISP. In preparation.

5. Davenport J.H. and Jenks R.D. SCRATCHPAD/370 - Modes and Domains (privately circulated). Davenport J.H. and Jenks R.D. SCRATCHPAD/370 - Modes and Domains (privately circulated).

Cited by 2 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Computer Algebra Systems;Computing Supplementa;1983

2. Computer Algebra Systems;Computing Supplementum;1982