{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:42:02Z","timestamp":1750308122658,"version":"3.41.0"},"reference-count":19,"publisher":"Association for Computing Machinery (ACM)","issue":"1","license":[{"start":{"date-parts":[[1981,2,1]],"date-time":"1981-02-01T00:00:00Z","timestamp":349833600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["SIGSAM Bull."],"published-print":{"date-parts":[[1981,2]]},"abstract":"<jats:p>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.<\/jats:p>","DOI":"10.1145\/1089242.1089244","type":"journal-article","created":{"date-parts":[[2007,1,17]],"date-time":"2007-01-17T18:32:02Z","timestamp":1169058722000},"page":"11-20","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["MODLISP"],"prefix":"10.1145","volume":"15","author":[{"given":"James H.","family":"Davenport","sequence":"first","affiliation":[{"name":"IBM Thomas J. Watson Research Center"}]},{"given":"Richard D.","family":"Jenks","sequence":"additional","affiliation":[{"name":"IBM Thomas J. Watson Research Center"}]}],"member":"320","published-online":{"date-parts":[[1981,2]]},"reference":[{"key":"e_1_2_1_2_1","unstructured":"ADJ\n\n  \n   (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."},{"key":"e_1_2_1_3_1","first-page":"8059","article-title":"Exception Handling and Data Abstraction","author":"Black A.P","year":"1980","journal-title":"IBM Research Report RC"},{"key":"e_1_2_1_4_1","unstructured":"Cohn P.M. Universal Algebra. Harper & Row New York 1965.  Cohn P.M. Universal Algebra. Harper & Row New York 1965."},{"key":"e_1_2_1_5_1","unstructured":"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."},{"key":"e_1_2_1_6_1","unstructured":"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)."},{"volume-title":"Cornell University","year":"1977","author":"Donahue J.","key":"e_1_2_1_7_1"},{"key":"e_1_2_1_8_1","volume-title":"Proc. IFIP Working Conference on Formal Description of Programming Concepts","volume":"1","author":"Ershov A.P.","year":"1977"},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.5555\/646850.707584"},{"key":"e_1_2_1_10_1","unstructured":"Hearn A.C. REDUCE-2 Users Manual Computing Physics Group University of Utah. 1973.  Hearn A.C. REDUCE-2 Users Manual Computing Physics Group University of Utah. 1973."},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1408800.1408891"},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/800168.811543"},{"key":"e_1_2_1_13_1","unstructured":"IBM - LISP\/370 Program Description \/Operations Manual Document SH20-2076-0 IBM Corp. Dept. 825 1133 Westchester Ave. White Plains N.Y. March 1978.  IBM - LISP\/370 Program Description \/Operations Manual Document SH20-2076-0 IBM Corp. Dept. 825 1133 Westchester Ave. White Plains N.Y. March 1978."},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1088233.1088237"},{"key":"e_1_2_1_15_1","first-page":"466","volume-title":"Proc. EUROSAM 79 (Springer-Verlag Lecture Notes in Computer Science 72)","author":"Jenks R.D. MODLISP","year":"1980"},{"volume-title":"Springer-Verlag","year":"1975","author":"Jensen K.","key":"e_1_2_1_16_1"},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/359763.359789"},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/942572.807045"},{"key":"e_1_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1086837.1086839"},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/512927.512938"}],"container-title":["ACM SIGSAM Bulletin"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1089242.1089244","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1089242.1089244","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T16:08:22Z","timestamp":1750262902000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1089242.1089244"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1981,2]]},"references-count":19,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1981,2]]}},"alternative-id":["10.1145\/1089242.1089244"],"URL":"https:\/\/doi.org\/10.1145\/1089242.1089244","relation":{},"ISSN":["0163-5824"],"issn-type":[{"type":"print","value":"0163-5824"}],"subject":[],"published":{"date-parts":[[1981,2]]},"assertion":[{"value":"1981-02-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}