David Turner

Q: What Schools Are Affiliated With David Turner

David Turner is affiliated with the following schools: University of Oxford, Middlesex University, Queen Mary University of London, University of Kent

David Turner 's AcademicInfluence.com Rankings

David Turner

Computer Science

#444

World Rank

#462

Historical Rank

Database

#5068

World Rank

#5265

Historical Rank

computer-science Degrees

Download Badge

Computer Science

Why Is David Turner Influential?

(Suggest an Edit or Addition)

According to Wikipedia, David A. Turner was a British computer scientist. He is best known for designing and implementing three programming languages, including the first for functional programming based on lazy evaluation, combinator graph reduction, and polymorphic types: SASL , Kent Recursive Calculator , and the commercially supported Miranda . Miranda had a strong influence on the later Haskell.

(See a Problem?)

David Turner 's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

Pict: a programming language based on the Pi-Calculus (2000) (427)
Local type inference (1998) (375)
Linearity and the pi-calculus (1999) (330)
Simple type-theoretic foundations for object-oriented programming (1994) (244)
The polymorphic Pi-calculus : theory and implementation (1996) (232)
Once upon a type (1995) (161)
Call-by-name, call-by-value, call-by-need and the linear lambda calculus (1999) (148)
A semantics for ML concurrency primitives (1992) (108)
Local type inference (2000) (104)
Object-oriented programming without recursive types (1993) (77)
Linearity and the pi-calculus (1996) (67)
Operational Interpretations of Linear Logic (1999) (59)
Statically typed friendly functions via partially abstract types (1993) (34)
A Typed Higher-Order Programming Language Based on the Pi-Calculus (1993) (26)
Local Type Argument Synthesis with Bounded Quantification (1997) (10)
Once upon a Type in 7'th International Conference on Functional Programming and Computer Architecture (1995) (2)
Functional programming, Glasgow 1995 : proceedings of the 1995 Glasgow Workshop on Functional Programming, Ullapool, Scotland, 10-12 July 1995 (1996) (1)
The Linear Lambda Calculus (1995) (0)
Functional Programming, Glasgow 1994 (1995) (0)
Muri Progress Report Adaptive Systems Interoperability Contessa Project (2002) (0)
Functional programming, Glasgow 1994 : proceedings of the 1994 Glasgow Workshop on Functional Programming, Ayr, Scotland, 12-14 September 1994 (1995) (0)
Proceedings of the 1995 Glasgow Workshop on Functional Programming - Index (1995) (0)

This paper list is powered by the following services:

Other Resources About David Turner

en.wikipedia.org

What Schools Are Affiliated With David Turner ?

David Turner is affiliated with the following schools: