Dictionary.net

(SASL) A functional programming language designedby Professor David Turner in 1976 whilst at St. AndrewsUniversity. SASL is a derivative of ISWIM with infinitedata structures. It is fully lazy but weakly typed. Itwas designed for teaching functional programming, with verysimple syntax.Example syntax:def fac n = n = 0 -> 1 ; n x fac(n-1)A version of the expert system EMYCIN has been written inSASL.SASL was originally known as "St Andrews Standard Language".Not to be confused with SISAL. (ftp://a.cs.uiuc.edu/uiuc/kamin.distr/distr/sasl.p).See also Kamin's interpreters.["A New Implementation Technique for Applicative Languages",D.A. Turner, Soft Prac & Exp 8:31-49 (1979)].