Source : Free On-Line Dictionary of Computing

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)