SASL на английской Википедии.

SASL — чисто функциональный язык программирования, разработанный Дэвидом Тэрнером (David Turner) в ”University of St. Andrews” в 1972-ом году, на базе аппликативного подмножества ISWIM. В 1976 Тэрнер перепроектировал его как нестрогий (ленивый) язык. В этой форме SASL стал базой для поздних языков Тэрнера — KRC и Miranda, хотя SASL, по видимому, был бестиповым, а в Miranda наблюдается полиморфизм

Дата создания: 1972
Создан под влиянием: 
ISWIM
Повлиял на: 
KRC
Miranda
Парадигма: нестрогая, функциональная 
Типизация: бестиповая