David N. Turner

15 papers A* 4A 2B 1Journal 5Unranked 2
YearRankTypeTitle / Venue / Authors
2000 J jnl
Local type inference.
ACM Trans. Program. Lang. Syst.
Benjamin C. Pierce, David N. Turner
2000 — conf
Pict: a programming language based on the Pi-Calculus.
Proof, Language, and Interaction
Benjamin C. Pierce, David N. Turner
1999 J jnl
Call-by-name, Call-by-value, Call-by-need and the Linear lambda Calculus.
Theor. Comput. Sci.
John Maraist, Martin Odersky, David N. Turner, Philip Wadler
1999 J jnl
Linearity and the pi-calculus.
ACM Trans. Program. Lang. Syst.
Naoki Kobayashi, Benjamin C. Pierce, David N. Turner
1999 J jnl
Operational Interpretations of Linear Logic.
Theor. Comput. Sci.
David N. Turner, Philip Wadler
1998 A* conf
Local Type Inference.
POPL
Benjamin C. Pierce, David N. Turner
1996 A ed.
Functional Programming, Glasgow, UK, 1995
Functional Programming
David N. Turner
1996 A* conf
Linearity and the Pi-Calculus.
POPL
Naoki Kobayashi, Benjamin C. Pierce, David N. Turner
1996 — —
The polymorphic Pi-calculus : theory and implementation.
David N. Turner
1995 B conf
Call-by-name, call-by-value, call-by-need and the linear lambda calculus.
MFPS
John Maraist, Martin Odersky, David N. Turner, Philip Wadler
1995 — conf
Once Upon a Type.
FPCA
David N. Turner, Philip Wadler, Christian Mossin
1995 A ed.
Proceedings of the 1994 Glasgow Workshop on Functional Programming, Ayr, Scotland, UK, September 12-14, 1994
Functional Programming
Kevin Hammond, David N. Turner, Patrick M. Sansom
1994 J jnl
Simple Type-Theoretic Foundations for Object-Oriented Programming.
J. Funct. Program.
Benjamin C. Pierce, David N. Turner
1993 A* conf
Object-Oriented Programming without Recursive Types.
POPL
Benjamin C. Pierce, David N. Turner
1992 A* conf
A Semantics for ML Concurrency Primitives.
POPL
Dave Berry, Robin Milner, David N. Turner