catflap.org Online Dictionary Query |
From The Free On-line Dictionary of Computing (27 SEP 03) : [ foldoc ]
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)