David A. Turner
BornJanuary 1946 (age 77)
CitizenshipUnited Kingdom
EducationD.Phil., University of Oxford
Known forSASL, Kent Recursive Calculator, Miranda
Scientific career
FieldsComputer science
InstitutionsQueen Mary University of London
University of Texas at Austin
University of Kent at Canterbury
Middlesex University

David A. Turner (born 26 January 1946) is a British computer scientist. He is best known for designing and implementing three programming languages, including the first for functional programming based on lazy evaluation, combinator graph reduction, and polymorphic types: SASL (1972), Kent Recursive Calculator (KRC) (1981), and the commercially supported Miranda (1985). Miranda had a strong influence on the later Haskell.[1]

He has a Doctor of Philosophy (D.Phil.) from the University of Oxford. He has held professorships at Queen Mary College, London, University of Texas at Austin and the University of Kent at Canterbury, where he has spent most of his career and retains the title of Emeritus Professor of Computation.

He was involved with developing international standards in programming and informatics, as a member of the International Federation for Information Processing (IFIP) IFIP Working Group 2.1 on Algorithmic Languages and Calculi,[2] which specified, maintains, and supports the programming languages ALGOL 60 and ALGOL 68.[3]

He is also an Emeritus Professor at Middlesex University, England.



  1. ^ Hudak, Paul; Hughes, John (2007). "A History of Haskell: being lazy with class".
  2. ^ Jeuring, Johan; Meertens, Lambert; Guttmann, Walter (17 August 2016). "Profile of IFIP Working Group 2.1". Foswiki. Retrieved 14 October 2020.
  3. ^ Swierstra, Doaitse; Gibbons, Jeremy; Meertens, Lambert (2 March 2011). "ScopeEtc: IFIP21: Foswiki". Foswiki. Retrieved 14 October 2020.