The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

David N. Turner: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Benjamin C. Pierce, David N. Turner
    Object-Oriented Programming without Recursive Types. [Citation Graph (1, 0)][DBLP]
    POPL, 1993, pp:299-312 [Conf]
  2. 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]
  3. David N. Turner, Philip Wadler, Christian Mossin
    Once Upon a Type. [Citation Graph (0, 0)][DBLP]
    FPCA, 1995, pp:1-11 [Conf]
  4. Dave Berry, Robin Milner, David N. Turner
    A Semantics for ML Concurrency Primitives. [Citation Graph (0, 0)][DBLP]
    POPL, 1992, pp:119-129 [Conf]
  5. Naoki Kobayashi, Benjamin C. Pierce, David N. Turner
    Linearity and the Pi-Calculus. [Citation Graph (0, 0)][DBLP]
    POPL, 1996, pp:358-371 [Conf]
  6. Benjamin C. Pierce, David N. Turner
    Local Type Inference. [Citation Graph (0, 0)][DBLP]
    POPL, 1998, pp:252-265 [Conf]
  7. 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]
  8. 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]
  9. 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]
  10. 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]
  11. 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]

  12. Pict: a programming language based on the Pi-Calculus. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002