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

David Turner (computer scientist)

+ Save concept

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

19 relations: Cambridge University Press, Computer scientist, Doctor of Philosophy, Functional programming, Graph reduction, Haskell (programming language), Kent Recursive Calculator, Lazy evaluation, Lecture Notes in Computer Science, Middlesex University, Miranda (programming language), Parametric polymorphism, 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 »

Christmas

Christmas is an annual festival commemorating the birth of Jesus Christ,Martindale, Cyril Charles.

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

Christmas and holiday season

The Christmas season, also called the festive season, or the holiday season (mainly in the U.S. and Canada; often simply called the holidays),, is an annually recurring period recognized in many Western and Western-influenced countries that is generally considered to run from late November to early January.

New!!: David Turner (computer scientist) and Christmas and holiday season · See more »

Christmas Eve

Christmas Eve is the evening or entire day before Christmas Day, the festival commemorating the birth of Jesus.

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

Christmas traditions

Christmas traditions vary from country to country.

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

Computer scientist

A computer scientist is a person who has acquired the 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 (PhD or Ph.D.; Latin Philosophiae doctor) is the highest academic degree awarded by universities in most 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 »

Haskell (programming language)

Haskell is a standardized, general-purpose compiled purely functional programming language, with non-strict semantics and strong static typing.

New!!: David Turner (computer scientist) and Haskell (programming language) · 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 »

Lazy evaluation

In programming language theory, lazy evaluation, or call-by-need is an evaluation strategy which delays the evaluation of an expression until its value is needed (non-strict evaluation) and which also avoids repeated evaluations (sharing).

New!!: David Turner (computer scientist) and Lazy evaluation · 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 London is a public 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 »

New Year

New Year is the time or day at which a new calendar year begins and the calendar's year count increments by one.

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

New Year's Day

New Year's Day, also called simply New Year's or New Year, is observed on January 1, the first day of the year on the modern Gregorian calendar as well as the Julian calendar.

New!!: David Turner (computer scientist) and New Year's Day · See more »

New Year's Eve

In the Gregorian calendar, New Year's Eve (also known as Old Year's Day or Saint Sylvester's Day in many countries), the last day of the year, is on 31 December which is the seventh day of Christmastide.

New!!: David Turner (computer scientist) and New Year's Eve · See more »

Parametric polymorphism

In programming languages and type theory, parametric polymorphism is a way to make a language more expressive, while still maintaining full static type-safety.

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

Queen Mary University of London

Queen Mary University of London (QMUL) is a public research university in London, England, 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, part of Springer Nature since 2015, is a global publishing company that publishes books, e-books and peer-reviewed journals in science, humanities, 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,Usage is mixed with some organisations, including the and preferring to use Britain as shorthand for Great Britain is a sovereign country in western 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, is a semi-collegiate 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 (formally The Chancellor Masters and Scholars of the University of 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 (UT, UT Austin, or Texas) 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 »

2018

2018 has been designated as the third International Year of the Reef by the International Coral Reef Initiative.

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

2019

2019 (MMXIX) will be a common year starting on Tuesday of the Gregorian calendar, the 2019th year of the Common Era (CE) and Anno Domini (AD) designations, the 19th year of the 3rd millennium, the 19th year of the 21st century, and the 10th and last year of the 2010s decade.

New!!: David Turner (computer scientist) and 2019 · 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! »