David N. Turner Home Page Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2000
j6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Benjamin C. Pierce, David N. Turner: Local type inference. ACM Trans. Program. Lang. Syst. 22(1): 1-44 (2000)
c6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Benjamin C. Pierce, David N. Turner: Pict: a programming language based on the Pi-Calculus. Proof, Language, and Interaction 2000: 455-494
1999
j5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
David N. Turner, Philip Wadler: Operational Interpretations of Linear Logic. Theor. Comput. Sci. 227(1-2): 231-248 (1999)
j4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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): 175-210 (1999)
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Naoki Kobayashi, Benjamin C. Pierce, David N. Turner: Linearity and the pi-calculus. ACM Trans. Program. Lang. Syst. 21(5): 914-947 (1999)
1998
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Benjamin C. Pierce, David N. Turner: Local Type Inference. POPL 1998: 252-265
1996
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Naoki Kobayashi, Benjamin C. Pierce, David N. Turner: Linearity and the Pi-Calculus. POPL 1996: 358-371
e1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
David N. Turner (Ed.): Functional Programming, Glasgow 1995. Workshops in Computing, Springer 1996, isbn 3-540-14580-X
1995
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
John Maraist, Martin Odersky, David N. Turner, Philip Wadler: Call-by-name, call-by-value, call-by-need and the linear lambda calculus. Electr. Notes Theor. Comput. Sci. 1: 370-392 (1995)
c3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
David N. Turner, Philip Wadler, Christian Mossin: Once Upon a Type. FPCA 1995: 1-11
1994
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Benjamin C. Pierce, David N. Turner: Simple Type-Theoretic Foundations for Object-Oriented Programming. J. Funct. Program. 4(2): 207-247 (1994)
1993
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Benjamin C. Pierce, David N. Turner: Object-Oriented Programming without Recursive Types. POPL 1993: 299-312
1992
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Dave Berry, Robin Milner, David N. Turner: A Semantics for ML Concurrency Primitives. POPL 1992: 119-129

Coauthor Index

1Dave Berry
[c1]
2Naoki Kobayashi
[j3] [c4]
3John Maraist
[j4] [j2]
4Robin Milner
[c1]
5Christian Mossin
[c3]
6Martin Odersky
[j4] [j2]
7Benjamin C. Pierce
[j6] [c6] [j3] [c5] [c4] [j1] [c2]
8Philip Wadler
[j5] [j4] [j2] [c3]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Mon May 20 11:06:28 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page