| 1998 |
|---|
| 3 | | Edoardo Biagioni,
Kenneth Cline,
Peter Lee,
Chris Okasaki,
Chris Stone:
Safe-for-Space Threads in Standard ML.
Higher-Order and Symbolic Computation 11(2): 209-225 (1998) |
| 1996 |
|---|
| 2 | EE | David Tarditi,
J. Gregory Morrisett,
Perry Cheng,
Chris Stone,
Robert Harper,
Peter Lee:
TIL: a type-directed, optimizing compiler for ML (with retrospective)
Best of PLDI 1996: 554-567 |
| 1 | | David Tarditi,
J. Gregory Morrisett,
Perry Cheng,
Chris Stone,
Robert Harper,
Peter Lee:
TIL: A Type-Directed Optimizing Compiler for ML.
PLDI 1996: 181-192 |
