David TurnerProfessor 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)