Professor

Professor

A professor is a scholarly teacher; the precise meaning of the term varies by country. Literally, professor derives from Latin as a "person who professes" being usually an expert in arts or sciences; a teacher of high rank...

 David Turner is a British

United Kingdom

The United Kingdom of Great Britain and Northern IrelandIn the United Kingdom and Dependencies, other languages have been officially recognised as legitimate autochthonous languages under the European Charter for Regional or Minority Languages...

 computer scientist

Computer scientist

A computer scientist is a scientist who has acquired knowledge of computer science, the study of the theoretical foundations of information and computation and their application in computer systems....

.

He has a D.Phil. from the University of Oxford

University of Oxford

The University of Oxford is a university located in Oxford, United Kingdom. It is the second-oldest surviving university in the world and the oldest in the English-speaking world. Although its exact date of foundation is unclear, there is evidence of teaching as far back as 1096...

. He has held professorships at Queen Mary College, London

Queen Mary, University of London

Queen Mary, University of London is a public research university located in London, United Kingdom and a constituent college of the federal University of London...

, University of Texas at Austin

University of Texas at Austin

The University of Texas at Austin is a state research university located in Austin, Texas, USA, and is the flagship institution of the The University of Texas System. Founded in 1883, its campus is located approximately from the Texas State Capitol in Austin...

 and the University of Kent at Canterbury

University of Kent

The University of Kent, previously the University of Kent at Canterbury, is a public research university based in Kent, United Kingdom...

, where he now retains the post of Emeritus Professor.

He is currently (2004) Professor of Computation at Middlesex University

Middlesex University

Middlesex University is a university in north London, England. It is located in the historic county boundaries of Middlesex from which it takes its name. It is one of the post-1992 universities and is a member of Million+ working group...

, England.

He is best known for inventing combinator graph reduction and for designing and implementing three seminal functional programming languages SASL

SASL programming language

SASL is a purely functional programming language developed by David Turner at the University of St Andrews in 1972, based on the applicative subset of ISWIM. In 1976 Turner redesigned and reimplemented it as a non-strict language...

, KRC

Kent Recursive Calculator

KRC is a lazy functional language developed by David Turner in 1981 based on SASL, with pattern matching, guards and ZF expressions ....

 and Miranda

Miranda programming language

Miranda is a non-strict purely functional programming language designed by David Turner as a successor to his earlier programming languages SASL and KRC, using some concepts from ML and Hope. It was produced by Research Software Ltd...

, the last of which was awarded a medal for Technical Achievement by the British Computer Society (BCS Awards, 1990).

Publications

• Turner, David A. SASL language manual. Tech. rept. CS/75/1. Department of Computational Science, University of St. Andrews 1975.
• Another Algorithm for Bracket Abstraction, D. A. Turner, Journal of Symbolic Logic, 44(2):267–270, 1979.
• Functional Programming and its Applications, D. A. Turner, Cambridge U Press 1982.
• A Parser Generator for use with Miranda, ACM Symposium on Applied Computing, pages 401–407, Philadelphia, USA, Feb 1996.
• Elementary Strong Functional Programming, D. A. Turner, in R. Plasmeijer, P. Hartel, eds, "First International Symposium on Functional Programming Languages in Education", Lecture Notes in Computer Science
  Lecture Notes in Computer Science
  Lecture Notes in Computer Science is a series of computer science books that has been published by Springer Science+Business Media since 1973....
  
  , volume 1022, pages 1–13, Springer-Verlag
  Springer Science+Business Media
  - Selected publications :* Encyclopaedia of Mathematics* Ergebnisse der Mathematik und ihrer Grenzgebiete * Graduate Texts in Mathematics * Grothendieck's Séminaire de géométrie algébrique...
  
  , 1996.
• Ensuring Streams Flow, Alastair Telford and David Turner, in Johnson, ed., "Algebraic Methodology and Software Technology", 6th International Conference, AMAST '97, Sydney Australia, December 1997, Lecture Notes in Computer Science, volume 1349, pages 509–523. AMAST, Springer-Verlag, December 1997.
• Ensuring the Productivity of Infinite Structures, A.J.Telford, D.A.Turner, "Technical Report TR 14-97", 37 pages, Computing Laboratory, University of Kent, March 1998. Under submission to "Journal of Functional Programming".
• Ensuring Termination in ESFP, A. J. Telford and D. A. Turner, in "15th British Colloquium in Theoretical Computer Science", page 14, Keele, April 1999. To appear in "Journal of Universal Computer Science".
• A Hierarchy of Elementary Languages with Strong Normalisation Properties, A.J.Telford, D.A.Turner, "Technical Report TR 2-00", 66 pages, University of Kent Computing Laboratory, January 2000.
• Total Functional Programming, Keynote address, pp 1–15, SBLP 2004, Rio de Janeiro, May 2004.
• Church's Thesis and Functional Programming, in A. Olszewski ed., "Church's Thesis after 70 years'", pages 518-544, Ontos Verlag, 2006.

External links

• Staff page at the University of Kent at Canterbury
• Staff page at Middlesex University
• Miranda functional programming language