David Turner

David Turner's AcademicInfluence.com Rankings

David Turner

Computer Science

#11965

World Rank

#12736

Historical Rank

Programming

#107

World Rank

#112

Historical Rank

Database

#9049

World Rank

#9513

Historical Rank

computer-science Degrees

Download Badge

Computer Science

Why Is David Turner Influential?

(Suggest an Edit or Addition)

(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

Miranda: A Non-Strict Functional language with Polymorphic Types (1985) (796)
A new implementation technique for applicative languages (1979) (696)
An overview of Miranda (1986) (250)
Research topics in functional programming (1990) (150)
Another algorithm for bracket abstraction (1979) (135)
The semantic elegance of applicative languages (1981) (120)
Elementary Strong Functional Programming (1995) (112)
Total Functional Programming (2004) (89)
Functional programs as executable specifications (1984) (65)
Ensuring Streams Flow (1997) (46)
Functional Programming and its Applications: An Advanced Course (1982) (40)
An approach to functional operating systems (1990) (37)
Functional Programming and Communicating Processes (1987) (31)
Nominal Domain Theory for Concurrency (2009) (30)
Some History of Functional Programming Languages - (Invited Talk) (2012) (20)
Ensuring Termination in ESFP (2000) (18)
Recursion Equations as a Programming Language (2016) (16)
Ensuring the Productivity of Infinite Structures (1997) (11)
Error Diagnosis and Recovery in One Pass Compilers (1977) (9)
Duality and De Morgan principles for lists (1990) (7)
The Future of Applicative Programming (1981) (3)
Church's Thesis and Functional Programming (2006) (2)
A Hierarchy of Languages with Strong Termination Properties (2000) (2)
SNACC: a parser generator for use with Miranda (1996) (2)
Video Game Programming with SDL and Lua (2014) (0)
To the Chairman of Examiners for Part III Mathematics (2004) (0)

This paper list is powered by the following services:

David Turner's Academic­Influence.com Rankings

Why Is David Turner Influential?

David Turner's Published Works

Published Works

David Turner's AcademicInfluence.com Rankings