David Turner
#185,408
Most Influential Person Now
David Turner's AcademicInfluence.com Rankings
David Turnercomputer-science Degrees
Computer Science
#11965
World Rank
#12736
Historical Rank
Programming
#107
World Rank
#112
Historical Rank
Database
#9049
World Rank
#9513
Historical Rank

Download Badge
Computer Science
Why Is David Turner Influential?
(Suggest an Edit or Addition)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: