SASL[1]

Saint Andrews Static Language

David A. Turner, 1976

A derivative of ISWIM with infinite data structures. Fully lazy and weakly typed. Designed for teaching functional programming, with very simple syntax. A version of the expert system EMYCIN has been written in SASL.

"A New Implementation Technique for Applicative Languages", David A. Turner, Software Practice & Experience 8:31-49 (1979).