ISETL
Interactive SET Language, distant SETL variant widely used in discrete mathematics: downloads on lower 2/3 of page, for DOS, Mac OS, Windows; source code available.
url: www.math.purdue.edu/~ccc/distribution.html
ISETLW
Interactive SET Language for Windows 95/98/Me/NT/2000/XP: downloads, documentation, bugs, sample problems.
url: isetlw.muc.edu/isetlw/default.asp
Other SETL Sources and Documentation
Offers sources, documentation and references to programming language SETL.
url: galt.cs.nyu.edu/%7ebacon/other-setl.html
SETL Documentation
SET Language: mathematical programming language closely resembling the language of sets and functions used by Mathematicians. Lets users define sets, then define functions and binary operations on the sets: reference documentation for the library of built-in operations.
url: cs1.cs.nyu.edu/bacon/setl-doc.html
SETL for Internet Data Processing
A dissertation by David Bacon.
url: cs1.cs.nyu.edu/~bacon/phd-thesis/diss/
