Son> 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)