David N. Turner Home Page Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2000
13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBenjamin C. Pierce, David N. Turner: Pict: a programming language based on the Pi-Calculus. Proof, Language, and Interaction 2000: 455-494
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBenjamin C. Pierce, David N. Turner: Local type inference. ACM Trans. Program. Lang. Syst. 22(1): 1-44 (2000)
1999
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNaoki Kobayashi, Benjamin C. Pierce, David N. Turner: Linearity and the pi-calculus. ACM Trans. Program. Lang. Syst. 21(5): 914-947 (1999)
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid N. Turner, Philip Wadler: Operational Interpretations of Linear Logic. Theor. Comput. Sci. 227(1-2): 231-248 (1999)
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn 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)
1998
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBenjamin C. Pierce, David N. Turner: Local Type Inference. POPL 1998: 252-265
1996
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid N. Turner: Functional Programming, Glasgow 1995 Springer 1996
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNaoki Kobayashi, Benjamin C. Pierce, David N. Turner: Linearity and the Pi-Calculus. POPL 1996: 358-371
1995
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid N. Turner, Philip Wadler, Christian Mossin: Once Upon a Type. FPCA 1995: 1-11
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn 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: (1995)
1994
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBenjamin C. Pierce, David N. Turner: Simple Type-Theoretic Foundations for Object-Oriented Programming. J. Funct. Program. 4(2): 207-247 (1994)
1993
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBenjamin C. Pierce, David N. Turner: Object-Oriented Programming without Recursive Types. POPL 1993: 299-312
1992
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDave Berry, Robin Milner, David N. Turner: A Semantics for ML Concurrency Primitives. POPL 1992: 119-129

Coauthor Index

1Dave Berry [1]
2Naoki Kobayashi [6] [11]
3John Maraist [4] [9]
4Robin Milner [1]
5Christian Mossin [5]
6Martin Odersky [4] [9]
7Benjamin C. Pierce [2] [3] [6] [8] [11] [12] [13]
8Philip Wadler [4] [5] [9] [10]

Colors in the list of coauthors

Copyright © Mon Mar 15 21:39:48 2010 by Michael Ley (ley@uni-trier.de)