David N. Turner

Publication Activity (10 Years)

Years Active: 1992-2000
Publications (10 Years): 0

University of Edinburgh, UK (PHD)

Education History

University of Edinburgh, UK

PHD

Publications

Benjamin C. Pierce, David N. Turner
Pict: a programming language based on the Pi-Calculus. Proof, Language, and Interaction (2000)
Benjamin C. Pierce, David N. Turner
Local type inference. ACM Trans. Program. Lang. Syst. 22 (1) (2000)
Naoki Kobayashi, Benjamin C. Pierce, David N. Turner
Linearity and the pi-calculus. ACM Trans. Program. Lang. Syst. 21 (5) (1999)
David N. Turner, Philip Wadler
Operational Interpretations of Linear Logic. Theor. Comput. Sci. 227 (1-2) (1999)
John Maraist, Martin Odersky, David N. Turner, Philip Wadler
Call-by-name, Call-by-value, Call-by-need and the Linear lambda Calculus. Theor. Comput. Sci. 228 (1-2) (1999)
Benjamin C. Pierce, David N. Turner
Local Type Inference. POPL (1998)
Naoki Kobayashi, Benjamin C. Pierce, David N. Turner
Linearity and the Pi-Calculus. POPL (1996)
David N. Turner, Philip Wadler, Christian Mossin
Once Upon a Type. FPCA (1995)
John Maraist, Martin Odersky, David N. Turner, Philip Wadler
Call-by-name, call-by-value, call-by-need and the linear lambda calculus. MFPS (1995)
Benjamin C. Pierce, David N. Turner
Simple Type-Theoretic Foundations for Object-Oriented Programming. J. Funct. Program. 4 (2) (1994)
Benjamin C. Pierce, David N. Turner
Object-Oriented Programming without Recursive Types. POPL (1993)
Dave Berry, Robin Milner, David N. Turner
A Semantics for ML Concurrency Primitives. POPL (1992)