`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: Turner:David_N=

### Contributed to:

### 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.