The Free On-line Dictionary of Computing (30 December 2018):

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)