Research Professor at Middlesex University in the United Kingdom, specialising in FunctionalProgramming. See http://www.cs.mdx.ac.uk/staff/profiles/d_turner.html Responsible for: * MirandaLanguage * The B and C combinators (see EssAndKayCombinators) * TotalFunctionalProgramming See also CombinatoryLogic ---- CategoryPerson