SASL on täysin toimiva ohjelmointikieli , jonka David Turner on kehittänyt St. Andrewsin yliopistossa vuonna 1972 ja joka perustuu ISWIM :n soveltavaan osajoukkoon . Vuonna 1976 Turner suunnitteli sen uudelleen ei-tiukat kieleksi. Tässä muodossa SASL:stä tuli Turnerin myöhempien kielten, KRC :n ja Mirandan , perusta , vaikka SASL näyttääkin olleen tyypittämätön ja Mirandalla on polymorfismia .