SETL

SET Language

Courant Institute, early 70's

A very high level set-oriented language. Data types include sets (unordered collections), tuples (ordered collections) and maps (collections of ordered pairs). Expressions may include quantifiers ('for each' and 'exists'). The first Ada translator was written in SETL.

Programming With Sets - An Introduction to SETL, Jacob T. Schwartz et al, Springer-Verlag, 1986.