Concepedia

David N. Turner

DN

Statistics

Publications

14

Citations

1.5K

H-Index

13

Active since

1990

Affiliations

University of Glasgow(Current)

University of Edinburgh

The University of Tokyo

University of Pennsylvania

Philadelphia University

David N. Turner is an author at University of Glasgow specializing in computing, computer science, and programming languages.

Publications per year

1990–2000

14

Publications

14

Local type inference

Benjamin C. Pierce, David N. Turner · ACM Transactions on Programming Languages and Systems · 2000 · 284 citations · Full text

Computing, Computer Science, Natural Language Processing +16

Linearity and the pi-calculus

Naoki Kobayashi, Benjamin C. Pierce, David N. Turner · ACM Transactions on Programming Languages and Systems · 1999 · 240 citations · Full text

Computing, Computer Science, Formal Methods +12

Simple type-theoretic foundations for object-oriented programming

Benjamin C. Pierce, David N. Turner · Journal of Functional Programming · 1994 · 170 citations · Full text

Computing, Computer Science, Programming Languages +16

Local type inference

Benjamin C. Pierce, David N. Turner · 1998 · 155 citations

Computing, Computer Science, Natural Language Processing +16

Once upon a type

David N. Turner, Philip Wadler, Christian Mossin · 1995 · 152 citations

Computing, Mathematics, Syntax +4

1–5 of 14