SASL
Proiectat de: David Turner
SASL (din limba statică St Andrews, alternativ ST Andrews Standard Language) este un limbaj de programare pur funcțional dezvoltat de David Turner la Universitatea din St Andrews în 1972, bazat pe subsetul aplicator al ISWIM.
În 1976, Turner l-a reproiectat și l-a reimplementat ca un limbaj non-stric (leneș).
În această formă a fost fundamentul limbilor mai târziu ale lui Turner KRC și Miranda, dar SASL pare a fi neîngrijit, în timp ce Miranda are tipuri polimorfe.
Burroughs Corporation a folosit SASL pentru a scrie un compilator și un sistem de operare.