David N. Turner
According to our database^{1},
David N. Turner
authored at least 10 papers
between 1992 and 2000.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
Homepages:

at wikidata.org

at id.loc.gov

at dl.acm.org
On csauthors.net:
Bibliography
2000
Local type inference.
ACM Trans. Program. Lang. Syst., 2000
Pict: a programming language based on the PiCalculus.
Proceedings of the Proof, Language, and Interaction, Essays in Honour of Robin Milner, 2000
1999
Linearity and the picalculus.
ACM Trans. Program. Lang. Syst., 1999
Operational Interpretations of Linear Logic.
Theor. Comput. Sci., 1999
1996
The polymorphic Picalculus : theory and implementation.
PhD thesis, 1996
1995
Callbyname, callbyvalue, callbyneed and the linear lambda calculus.
Proceedings of the Eleventh Annual Conference on Mathematical Foundations of Programming Semantics, 1995
Once Upon a Type.
Proceedings of the seventh international conference on Functional programming languages and computer architecture, 1995
1994
Simple TypeTheoretic Foundations for ObjectOriented Programming.
J. Funct. Program., 1994
1993
ObjectOriented Programming without Recursive Types.
Proceedings of the Conference Record of the Twentieth Annual ACM SIGPLANSIGACT Symposium on Principles of Programming Languages, 1993
1992
A Semantics for ML Concurrency Primitives.
Proceedings of the Conference Record of the Nineteenth Annual ACM SIGPLANSIGACT Symposium on Principles of Programming Languages, 1992