|
Search the dblp DataBase
David N. Turner:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Benjamin C. Pierce, David N. Turner
Object-Oriented Programming without Recursive Types. [Citation Graph (1, 0)][DBLP] POPL, 1993, pp:299-312 [Conf]
- Benjamin C. Pierce, David N. Turner
Simple Type-Theoretic Foundations for Object-Oriented Programming. [Citation Graph (1, 0)][DBLP] J. Funct. Program., 1994, v:4, n:2, pp:207-247 [Journal]
- David N. Turner, Philip Wadler, Christian Mossin
Once Upon a Type. [Citation Graph (0, 0)][DBLP] FPCA, 1995, pp:1-11 [Conf]
- Dave Berry, Robin Milner, David N. Turner
A Semantics for ML Concurrency Primitives. [Citation Graph (0, 0)][DBLP] POPL, 1992, pp:119-129 [Conf]
- Naoki Kobayashi, Benjamin C. Pierce, David N. Turner
Linearity and the Pi-Calculus. [Citation Graph (0, 0)][DBLP] POPL, 1996, pp:358-371 [Conf]
- Benjamin C. Pierce, David N. Turner
Local Type Inference. [Citation Graph (0, 0)][DBLP] POPL, 1998, pp:252-265 [Conf]
- John Maraist, Martin Odersky, David N. Turner, Philip Wadler
Call-by-name, call-by-value, call-by-need and the linear lambda calculus. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 1995, v:1, n:, pp:- [Journal]
- John Maraist, Martin Odersky, David N. Turner, Philip Wadler
Call-by-name, Call-by-value, Call-by-need and the Linear lambda Calculus. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1999, v:228, n:1-2, pp:175-210 [Journal]
- David N. Turner, Philip Wadler
Operational Interpretations of Linear Logic. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1999, v:227, n:1-2, pp:231-248 [Journal]
- Naoki Kobayashi, Benjamin C. Pierce, David N. Turner
Linearity and the pi-calculus. [Citation Graph (0, 0)][DBLP] ACM Trans. Program. Lang. Syst., 1999, v:21, n:5, pp:914-947 [Journal]
- Benjamin C. Pierce, David N. Turner
Local type inference. [Citation Graph (0, 0)][DBLP] ACM Trans. Program. Lang. Syst., 2000, v:22, n:1, pp:1-44 [Journal]
Pict: a programming language based on the Pi-Calculus. [Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.002secs
|