Logo
Unionpedia
Communication
Get it on Google Play
New! Download Unionpedia on your Android™ device!
Install
Faster access than browser!
And Ads-free!

David Turner (computer scientist)

David A. Turner (born 1946) is a British computer scientist. [1]

16 relations: Cambridge University Press, Computer scientist, Doctor of Philosophy, Functional programming, Graph reduction, Kent Recursive Calculator, Lecture Notes in Computer Science, Middlesex University, Miranda (programming language), Queen Mary University of London, SASL (programming language), Springer Science+Business Media, United Kingdom, University of Kent, University of Oxford, University of Texas at Austin.

Cambridge University Press

Cambridge University Press (CUP) is the publishing business of the University of Cambridge.

New!!: David Turner (computer scientist) and Cambridge University Press · See more »

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.

New!!: David Turner (computer scientist) and Computer scientist · See more »

Doctor of Philosophy

A Doctor of Philosophy degree (often abbreviated Ph.D., PhD, D.Phil., or DPhil) or a Doctorate of Philosophy, from the Latin Doctor Philosophiae, is a type of doctorate awarded by universities in many countries.

New!!: David Turner (computer scientist) and Doctor of Philosophy · See more »

Functional programming

In computer science, functional programming is a programming paradigm—a style of building the structure and elements of computer programs—that treats computation as the evaluation of mathematical functions and avoids changing-state and mutable data.

New!!: David Turner (computer scientist) and Functional programming · See more »

Graph reduction

In computer science, graph reduction implements an efficient version of non-strict evaluation, an evaluation strategy where the arguments to a function are not immediately evaluated.

New!!: David Turner (computer scientist) and Graph reduction · See more »

Kent Recursive Calculator

KRC (Kent Recursive Calculator) is a lazy functional language developed by David Turner from November 1979 to October 1981 based on SASL, with pattern matching, guards and ZF expressions (now more usually called list comprehensions).

New!!: David Turner (computer scientist) and Kent Recursive Calculator · See more »

Lecture Notes in Computer Science

Springer Lecture Notes in Computer Science (LNCS) is a series of computer science books published by Springer Science+Business Media (formerly Springer-Verlag) since 1973.

New!!: David Turner (computer scientist) and Lecture Notes in Computer Science · See more »

Middlesex University

Middlesex University is a university in Hendon, north west London, England.

New!!: David Turner (computer scientist) and Middlesex University · See more »

Miranda (programming language)

Miranda is a lazy, 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.

New!!: David Turner (computer scientist) and Miranda (programming language) · See more »

Queen Mary University of London

Queen Mary University of London (officially abbreviated to QMUL, informally known as QM) is a public research university located in London, United Kingdom, and a constituent college of the federal University of London.

New!!: David Turner (computer scientist) and Queen Mary University of London · See more »

SASL (programming language)

SASL (from St. Andrews Static Language, alternatively St. Andrews Standard Language) 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.

New!!: David Turner (computer scientist) and SASL (programming language) · See more »

Springer Science+Business Media

Springer Science+Business Media or Springer is a global publishing company that publishes books, e-books and peer-reviewed journals in science, technical and medical (STM) publishing.

New!!: David Turner (computer scientist) and Springer Science+Business Media · See more »

United Kingdom

The United Kingdom of Great Britain and Northern Ireland, commonly known as the United Kingdom (UK) or Britain, is a sovereign state in Europe.

New!!: David Turner (computer scientist) and United Kingdom · See more »

University of Kent

The University of Kent (formerly the University of Kent at Canterbury, abbreviated as UKC or Cantuar. for post-nominals) is a public research university based in Kent, United Kingdom.

New!!: David Turner (computer scientist) and University of Kent · See more »

University of Oxford

The University of Oxford (informally Oxford University or simply Oxford) is a collegiate research university located in Oxford, England.

New!!: David Turner (computer scientist) and University of Oxford · See more »

University of Texas at Austin

The University of Texas at Austin, informally UT Austin, UT, University of Texas, or Texas in sports contexts, is a public research university and the flagship institution of The University of Texas System.

New!!: David Turner (computer scientist) and University of Texas at Austin · See more »

Redirects here:

D A Turner, D. A. Turner, DA Turner, David A Turner, David A. Turner.

References

[1] https://en.wikipedia.org/wiki/David_Turner_(computer_scientist)

OutgoingIncoming
Hey! We are on Facebook now! »