David Turner (computer scientist)

David Turner (computer scientist)

Professor David Turner is a British computer scientist.

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 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).

Publications

  • Turner, David A. SASL language manual. Tech. rept. CS/75/1. Department of Computational Science, University of St. Andrews 1975.
  • Turner, D.A. (1979). "A New Implementation Technique for Applicative Languages". Software - Practice and Experience 9: 31. doi:10.1002/spe.4380090105. 
  • 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, 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.
  • Church's Thesis and Functional Programming, in A. Olszewski ed., "Church's Thesis after 70 years'", pages 518-544, Ontos Verlag, 2006.

External links


Wikimedia Foundation. 2010.

Игры ⚽ Поможем решить контрольную работу

Look at other dictionaries:

  • David Turner — may refer to: David Turner (Canadian football), Defensive back and Kick Returner David Turner (computer scientist), British computer scientist David Turner (cricketer), Hampshire cricketer David Turner (dramatist), British dramatist David Turner …   Wikipedia

  • Computer science — or computing science (abbreviated CS) is the study of the theoretical foundations of information and computation and of practical techniques for their implementation and application in computer systems. Computer scientists invent algorithmic… …   Wikipedia

  • David Ho (scientist) — David Ho 何大一 Born November 3, 1952 (1952 11 03 …   Wikipedia

  • David Warner (actor) — David Warner David Warner – Photographed at the London Film and Comic con – July 2008 Born 29 July 1941 (1941 07 29) (age 70) Manchester, Lancashire, England, U.K. Nationality …   Wikipedia

  • David Schwimmer — Schwimmer at the 2010 Toronto International Film Festival Born David Lawrence Schwimmer November 2, 1966 (1966 11 02) (age 45) …   Wikipedia

  • David L. Fried — is a scientist, best known for his contributions to optics. Fried described what has come to be known as Fried s seeing diameter, or r0 (usually pronounced r naught). The seeing diameter is effectively a limiting aperture due to atmospheric… …   Wikipedia

  • James Turner (cartoonist) — James Turner is a British cartoonist best known as the creator of the popular webcomic Beaver and Steve.He also created the story Super Animal Adventure Squad for the new British children s comic The DFC .… …   Wikipedia

  • Корекурсия — в теории категорий и информатике тип операции, дуальный к рекурсии. Обычно корекурсия используется (совместно с механизмом ленивых вычислений) для генерации бесконечных структур данных. Содержание 1 Общие замечания 2 Примеры …   Википедия

  • Total functional programming — (also known as strong functional programming [This term is due to: Citation|last1=Turner|first1=D.A.|author link=David Turner (computer scientist)|contribution=Elementary Strong Functional Programming|title=First International Symposium on… …   Wikipedia

  • performing arts — arts or skills that require public performance, as acting, singing, or dancing. [1945 50] * * * ▪ 2009 Introduction Music Classical.       The last vestiges of the Cold War seemed to thaw for a moment on Feb. 26, 2008, when the unfamiliar strains …   Universalium

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”