BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
5 × USA
Collaborated with:
B.C.Pierce N.Kobayashi P.Wadler C.Mossin D.Berry R.Milner
Talks about:
type (3) calculus (1) without (1) program (1) concurr (1) semant (1) recurs (1) primit (1) orient (1) object (1)

Person: David N. Turner

DBLP DBLP: Turner:David_N=

Contributed to:

POPL 19981998
POPL 19961996
FPCA 19951995
POPL 19931993
POPL 19921992

Wrote 5 papers:

POPL-1998-PierceT #type inference
Local Type Inference (BCP, DNT), pp. 252–265.
POPL-1996-KobayashiPT #π-calculus
Linearity and the π-Calculus (NK, BCP, DNT), pp. 358–371.
FPCA-1995-TurnerWM
Once Upon a Type (DNT, PW, CM), pp. 1–11.
POPL-1993-PierceT #object-oriented #programming #recursion
Object-Oriented Programming without Recursive Types (BCP, DNT), pp. 299–312.
POPL-1992-BerryMT #concurrent #ml #semantics
A Semantics for ML Concurrency Primitives (DB, RM, DNT), pp. 119–129.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.