David Turner


David Turner

(person)Professor David A Turner. One of the pioneers offunctional languages. He designed several languages,including, SASL (1976), KRC (1981), and Miranda, many ofwhich were implemented using combinators and the S-K reduction machine which he defined.

He coined the name "ZF expression" for the list comprehension.

He worked at UKC and set up a company, Research Software Limited to market Miranda.