SETL

from The Free On-line Dictionary of Computing (8 July 2008)
SETL

   SET Language.  A very high level language based on sets,
   designed by Jack Schwartz at the {Courant Institute} in the
   early 1970s.  It was possibly the first use of {list
   comprehension} notation.

   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.

   See also {ISETL}, {ProSet}, {SETL2}.

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