David N. Turner
发表
David N. Turner,
1995,
Workshops in Computing.
Benjamin C. Pierce,
David N. Turner,
B. Pierce,
1998,
POPL '98.
Benjamin C. Pierce,
Naoki Kobayashi,
David N. Turner,
1996,
POPL '96.
David N. Turner,
D. Turner,
1996
.
Martin Odersky,
Philip Wadler,
David N. Turner,
1999,
Theor. Comput. Sci..
Benjamin C. Pierce,
David N. Turner,
B. Pierce,
1993,
POPL '93.
Benjamin C. Pierce,
Didier Rémy,
David N. Turner,
1993
.
Benjamin C. Pierce,
David N. Turner,
B. Pierce,
1993
.
David N. Turner,
1995
.
Robin Milner,
David N. Turner,
Dave Berry,
1992,
POPL '92.
Benjamin C. Pierce,
David N. Turner,
B. Pierce,
1994,
Journal of Functional Programming.
Benjamin C. Pierce,
David N. Turner,
B. Pierce,
2000,
Proof, Language, and Interaction.
Benjamin C. Pierce,
David N. Turner,
B. Pierce,
2000,
TOPL.
Martin Odersky,
Philip Wadler,
David N. Turner,
1995,
MFPS.
Philip Wadler,
David N. Turner,
1999,
Theor. Comput. Sci..
David N. Turner,
1996
.
Benjamin C. Pierce,
Naoki Kobayashi,
David N. Turner,
1999,
TOPL.
Kevin Hammond,
David N. Turner,
Patrick M. Sansom,
1995
.
Philip Wadler,
Christian Mossin,
David N. Turner,
1995,
FPCA '95.
Robin Milner,
Michael J. C. Gordon,
David N. Turner,
1978,
POPL.