| 2009 |
|---|
| 11 | EE | Nick Parlante,
Thomas P. Murtagh,
Mehran Sahami,
Owen L. Astrachan,
David Reed,
Christopher A. Stone,
Brent Heeringa,
Karen L. Reid:
Nifty assignments.
SIGCSE 2009: 483-484 |
| 2007 |
|---|
| 10 | EE | Andrej Bauer,
Christopher A. Stone:
RZ: A Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice.
CiE 2007: 28-42 |
| 2006 |
|---|
| 9 | EE | Christopher A. Stone,
Robert Harper:
Extensional equivalence and singleton types.
ACM Trans. Comput. Log. 7(4): 676-722 (2006) |
| 8 | EE | Andrej Bauer,
Christopher A. Stone:
Specifications via Realizability.
Electr. Notes Theor. Comput. Sci. 153(1): 77-92 (2006) |
| 2004 |
|---|
| 7 | EE | Christopher A. Stone:
Extensible objects without labels.
ACM Trans. Program. Lang. Syst. 26(5): 805-835 (2004) |
| 2002 |
|---|
| 6 | EE | Jon G. Riecke,
Christopher A. Stone:
Privacy via Subsumption.
Inf. Comput. 172(1): 2-28 (2002) |
| 2000 |
|---|
| 5 | EE | Christopher A. Stone,
Robert Harper:
Deciding Type Equivalence with Singleton Kinds.
POPL 2000: 214-227 |
| 4 | | Robert Harper,
Christopher A. Stone:
A type-theoretic interpretation of standard ML.
Proof, Language, and Interaction 2000: 341-388 |
| 1998 |
|---|
| 3 | | Edoardo Biagioni,
Kenneth Cline,
Peter Lee,
Chris Okasaki,
Christopher A. 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,
Christopher A. 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,
Christopher A. Stone,
Robert Harper,
Peter Lee:
TIL: A Type-Directed Optimizing Compiler for ML.
PLDI 1996: 181-192 |
