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