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