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)