david turner

1 definition found

david turner - Free On-line Dictionary of Computing (26 May 2007) :

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