David Turner (computer scientist)
From Wikipedia, the free encyclopedia
- This article is about the computer scientist. For others with this name, see David Turner.
David A. Turner is a prominent British computer scientist.
He obtained a D.Phil. from the University of Oxford and became a professor within six months. He has held professorships at Queen Mary College, London, University of Texas at Austin and the University of Kent at Canterbury, where he now retains the post of Emeritus Professor.
He is currently (2004) Professor of Computation at Middlesex University, England.
He is best known for inventing combinator graph reduction and for designing and implementing three seminal functional programming languages SASL, KRC and Miranda, the last of which was awarded a medal for Technical Achievement by the British Computer Society (BCS Awards, 1990).
[edit] Publications
- A new implementation technique for applicative languages, David A. Turner, Software — Practice and Experience, 9:31–49, 1979.
- Functional Programming and its Applications, David 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, volume 1022, pages 1–13, Springer-Verlag, 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.
[edit] External links
Categories: Year of birth missing | Living people | Academics of Queen Mary, University of London | Academics of the University of Kent | Academics of Middlesex University | British computer scientists | Members of Oxford University Computing Laboratory | Former students of the University of Oxford | Programming language designers
