son> 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. (1994-12-06)