|
Documents
Up one level
-
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.
|
«
|
December
2024
|
»
|
Su |
Mo |
Tu |
We |
Th |
Fr |
Sa |
1 |
2 |
3 |
4 |
5 |
6 |
7 |
8 |
9 |
10 |
11 |
12 |
13 |
14 |
15 |
16 |
17 |
18 |
19 |
20 |
21 |
22 |
23 |
24 |
25 |
26 |
27 |
28 |
29 |
30 |
31 |
|
|
|
|
|