David Turner (person) Professor David A Turner. One of the pioneers of functional languages. He designed several languages, including, SASL (1976), KRC (1981), and Miranda, many of which 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. Last updated: 1994-12-06