Documents

H. S. Warren, Jr. ASL, a proposed variant of SETL (preliminary). May 1973. by Paul McJones — last modified 2021-03-22 18:18

H. S. Warren, Jr. ASL, a proposed variant of SETL (preliminary). Courant Computer Science Report Number 1, Computer Science Department, New York University, May 1973.

Robert Abes, editor. SETL Master Catalog: A Comprehensive Listing of Reports, Working Papers, and Computer Readable Document and Program Files Pertaining to Work at New York University on the SETL Set-Theoretic Programming Language. October 1973. by Paul McJones — last modified 2021-04-22 19:59

Robert Abes, editor. SETL Master Catalog: A Comprehensive Listing of Reports, Working Papers, and Computer Readable Document and Program Files Pertaining to Work at New York University on the SETL Set-Theoretic Programming Language. Report IMM 396, Computer Science Department, CIMS, October 1973.

Aron M. Tenenbaum. Type determination for very high level languages. October 1974. by Paul McJones — last modified 2021-02-28 11:37

Aron M. Tenenbaum. Type determination for very high level languages. Report 3, Courant Insitute of Mathematical Sciences, Computer Sciencxe Department, New York University, October 1974. From https://archive.org/details/typedeterminatio00tene

Jacob T. Schwartz. ON PROGRAMMING: An Interim Report on the SETL Project. Part I: Generalities; Part II: The SETL Language and Examples of Its Use. Revised June 1975. by Paul McJones — last modified 2021-04-22 20:00

Jacob T. Schwartz. ON PROGRAMMING: An Interim Report on the SETL Project. Part I: Generalities; Part II: The SETL Language and Examples of Its Use. Computer Science Department, Courant Institute of Mathematical Sciences, New York University, revised June 1975.

Peter Markstein. Operating System Specification Using Very High Level Dictions. Ph.D. thesis, New York University, June 1975. by Paul McJones — last modified 2021-03-27 13:41

Peter Markstein. Operating System Specification Using Very High Level Dictions. Ph.D. thesis, New York University, June 1975. Scan provided by Peter Markstein.

M. Davis and J. T. Schwartz; appendix by E. Deak. Correct-program technology/Extensibility of verifiers. Two papers on program verification. Courant Computer Science Report Number 12, September 1977. by Paul McJones — last modified 2021-09-23 14:10

M. Davis and J. T. Schwartz; appendix by E. Deak. Correct-program technology/Extensibility of verifiers. Two papers on program verification. Courant Computer Science Report Number 12, Courant Institute, New York University, September 1977. Mirrored from https://ia800503.us.archive.org/12/items/correctprogramte00davi

Edith Deak, M. Shimasaki, and J. Schwartz. MIDL: a hybrid language of medium level. In: A. Ershov and C. H. A. Koster (eds). Methods of Algorithmic Language Implementation. Lecture Notes in Computer Science, vol 47. Springer, Berlin, Heidelberg, 1977. by Paul McJones — last modified 2021-03-14 10:56

Edith Deak, M. Shimasaki, and J. Schwartz. MIDL: a hybrid language of medium level. In: A. Ershov and C. H. A. Koster (eds). Methods of Algorithmic Language Implementation. Lecture Notes in Computer Science, vol 47. Springer, Berlin, Heidelberg, 1977.

Progress Report No. 54, October 1, 1977 to September 30, 1978. December 1, 1978. by Paul McJones — last modified 2021-02-25 18:26

Progress Report No. 54, October 1, 1977 to September 30, 1978. Courant Mathematics and Computing Laboratory, New York University, December 1, 1978.

R. Grishman. The structure of the PUMA computer system: Overview and the central processor. 1978. by Paul McJones — last modified 2021-03-15 15:31

R. Grishman. The structure of the PUMA computer system: Overview and the central processor. Courant Mathematics and Computing Laboratory Report COO-3077-157, New York University, New York, 1978.

Robert B. K. Dewar. The SETL Programming Language. 1979. by Paul McJones — last modified 2021-02-23 13:36

Robert B. K. Dewar. The SETL Programming Language. 1979. Posted by permission of Jenny Dewar.

J.T. Schwartz and M. Sharir. A Design for Optimizations of the Bitvectoring Class. September 1979. by Paul McJones — last modified 2021-02-25 15:16

J.T. Schwartz and M. Sharir. A Design for Optimizations of the Bitvectoring Class. NYU Courant Computer Science Report No. 17, September 1979.

Ssu-cheng Liu and Robert Paige. Data structure choice/formal differentiation : Two papers on very high level program optimization. September 1979. by Paul McJones — last modified 2021-02-25 17:16

Ssu-cheng Liu and Robert Paige. Data structure choice/formal differentiation : Two papers on very high level program optimization. Courant Computer Science Report #15, NYU, September 1979. Combines SETL-related Ph.D. theses of Liu and Paige.

Jacob T. Schwartz. Internal, external, and pragmatic influences: technical perspectives in the development of programming languages. July 1980. by Paul McJones — last modified 2021-09-23 14:11

Jacob T. Schwartz. Internal, external, and pragmatic influences: technical perspectives in the development of programming languages. NYU Courant Computer Science Report No. 20, July 1980. Mirrored from https://archive.org/details/internalexternal00schw

R. B. K. Dewar E. Schonberg and J. T. Schwartz. Higher Level Programming: Introduction to the use of the Set-Theoretic programming language SETL. Preliminary Trial Edition - Summer 1981. by Paul McJones — last modified 2021-02-23 13:52

R. B. K. Dewar, E. Schonberg, and J. T. Schwartz. Higher Level Programming: Introduction to the use of the Set-Theoretic programming language SETL. Courant Institute of Mathematical Sciences, Computer Science Department, New York University. Preliminary Trial Edition - Summer 1981. Gift of Jean-Pierre Rosen. Posted by permission of Ed Schonberg.

David Shields. SETL User Manual. Version: 30, 24 July 1984. by Paul McJones — last modified 2021-03-17 21:40

David Shields. SETL User Manual. Version: 30, 24 July 1984. "The user manual describes the NYU LITTLE implementation of SETL as defined by The SETL Programming Language by Robert B. K. Dewar, March 12, 1980."

Gerald Weiss. Recursive data types in SETL: automatic determination, data language description, and efficient implementation. March 1986. by Paul McJones — last modified 2021-02-25 17:48

Gerald Weiss. Recursive data types in SETL: automatic determination, data language description, and efficient implementation. Technical Report Number 201, Courant Institute of Mathematical Sciences, New York University, March 1986.

Gerald Weiss and Edmond Schonberg. Typefinding Recursive Structures: A Data-Flow Analysis in the Presence of Infinite Type Sets. August 1986. by Paul McJones — last modified 2021-02-25 17:57

Gerald Weiss and Edmond Schonberg. Typefinding Recursive Structures: A Data-Flow Analysis in the Presence of Infinite Type Sets. Technical Report Number 235, Courant Institute of Mathematical Sciences, New York University, August 1986. From https://archive.org/details/typefindingrecur00weis

Fritz Henglein. Polymorphic type inference and semi-unification. May 1989. by Paul McJones — last modified 2021-03-21 20:54

Fritz Henglein. Polymorphic type inference and semi-unification. PhD thesis, Rutgers University, May 1989. Available as NYU Technical Report 443, May 1989, from New York University, Courant Institute of Mathematical Sciences, Department of Computer Science.

Michael N. Condict. The Denotational Semantics of SETL. 9 June 1983. by Paul McJones — last modified 2021-11-14 13:50

Michael N. Condict. The Denotational Semantics of SETL. 9 June 1983.

Fritz Henglein. A Type Algebra for SETL: Preliminary Proposal. 13 March 1987. by Paul McJones — last modified 2021-11-14 13:54

Fritz Henglein. A Type Algebra for SETL: Preliminary Proposal. 13 March 1987.

Fritz Henglein. Theoretical Issues in Type Inference -- A Final Report on the Status of Strong Typing for SETL. 31 Mar 1988. by Paul McJones — last modified 2021-11-14 14:00

Fritz Henglein. Theoretical Issues in Type Inference -- A Final Report on the Status of Strong Typing for SETL. 31 Mar 1988.

Fritz Henglein. Strong Typing in SETL: An overview of work on strong typing in the NYU/SETL project. 31 Mar 1988 by Paul McJones — last modified 2021-11-14 14:02

Fritz Henglein. Strong Typing in SETL: An overview of work on strong typing in the NYU/SETL project. 31 Mar 1988

Fritz Henglein. Algebraic Properties of Semi-Unification. 12 October 1988. by Paul McJones — last modified 2021-11-14 14:06

Fritz Henglein. Algebraic Properties of Semi-Unification. 12 October 1988.

Fritz Henglein. Equivalences. 30 Oct 1988. by Paul McJones — last modified 2021-11-14 14:11

Fritz Henglein. Equivalences. 30 Oct 1988.

Fritz Henglein. On Polymorphic Type Inference and Semi-Unication: Algebraic, Computational, and Conceptual Results (Technical Summary). 26 Jul 1989. by Paul McJones — last modified 2021-11-14 14:12

Fritz Henglein. On Polymorphic Type Inference and Semi-Unication: Algebraic, Computational, and Conceptual Results (Technical Summary). 26 Jul 1989.

Fritz Henglein. A Type Inference System for SETL. 19 June 1987 by Paul McJones — last modified 2021-11-14 14:20

Fritz Henglein. A Type Inference System for SETL. 19 June 1987

Fritz Henglein and Kenneth J. Perry. On the Complexity of ML+ Type Inference. Summer 1988. by Paul McJones — last modified 2021-11-15 16:22

Fritz Henglein and Kenneth J. Perry. On the Complexity of ML+ Type Inference. Summer 1988.

Jacob T. Schwartz. Abstract algorithms and a set theoretic language for their expression. Computer by Paul McJones — last modified 2022-11-15 19:52

Jacob T. Schwartz. Abstract algorithms and a set theoretic language for their expression. Computer Science Department, Courant Institute of Mathematical Sciences, New York University. Preliminary draft, first part. 1970-1971, 16+289 pages. This copy scanned from NYU Library, courtesy of Alex Kennedy-Grant.

Henry Mullish and Max Goldstein. A SETLB primer: a step-by-step tutorial with over 100 illustrative programettes. June 1973. by Paul McJones — last modified 2022-11-15 19:55

Henry Mullish and Max Goldstein. A SETLB primer: a step-by-step tutorial with over 100 illustrative programettes. Courant Institute of Mathematical Sciences, New York University, June 1973, 201 pages. This copy scanned from NYU Library, courtesy of Alex Kennedy-Grant.

Adrian Walker. SYLLOG: a knowledge based data management system. Technical Report #34, June 1981. by Paul McJones — last modified 2023-05-19 13:37

Adrian Walker. SYLLOG: a knowledge based data management system. Technical Report #34, Department of Computer Science, Courant Institute of Mathematical Sciences, New York University, June 1981.