SETL2: Difference between revisions
mNo edit summary |
m →Links |
||
| Line 1: | Line 1: | ||
SET Language 2 (SETL2), a backward incompatible descendant of SETL, was created by Kirk Snyder of the Courant Institute of Mathematical Sciences at New York University in the late 1980s. Like its predecessor, it is based on the theory and notation of finite sets, but has also been influenced in syntax and style by the Ada language. | SET Language 2 (SETL2), a backward incompatible descendant of SETL, was created by Kirk Snyder of the Courant Institute of Mathematical Sciences at New York University in the late 1980s. Like its predecessor, it is based on the theory and notation of finite sets, but has also been influenced in syntax and style by the Ada language. | ||
==Publications== | |||
*W. Kirk Snyder: ''The SETL2 Programming Language'' - [https://archive.org/download/setl2programming00snyd/setl2programming00snyd.pdf] | |||
==Links== | ==Links== | ||
Revision as of 05:26, 7 November 2020
SET Language 2 (SETL2), a backward incompatible descendant of SETL, was created by Kirk Snyder of the Courant Institute of Mathematical Sciences at New York University in the late 1980s. Like its predecessor, it is based on the theory and notation of finite sets, but has also been influenced in syntax and style by the Ada language.
Publications
- W. Kirk Snyder: The SETL2 Programming Language - [1]