SASL (programming language)

SASL (from St. Andrews Static Language, alternatively St. Andrews Standard Language) is a purely functional programming language developed by David Turner at the University of St Andrews in 1972, based on the applicative subset of ISWIM; see D.A. Turner: An implementation of SASL, University of St. Andrews, Department of Computer Science Technical Report TR/75/4. In 1976 Turner redesigned and reimplemented it as a non-strict (lazy) language; see D.A. Turner: A new implementation technique for applicative languages. Software - Practice and Experience 9 (1979) 31-49. In this form it was the foundation of Turner's later languages KRC and Miranda, but SASL appears to be untyped whereas Miranda has polymorphic types.