David Turner (computer scientist)

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

He has a 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 is also an Emeritus Professor at Middlesex University, England.

...
Wikipedia