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.