Christopher A. Stone

	2009
12		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
11		Andrej Bauer, Christopher A. Stone: RZ: a Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice. J. Log. Comput. 19(1): 17-43 (2009)
	2007
10		Andrej Bauer, Christopher A. Stone: RZ: A Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice. CiE 2007: 28-42
	2006
9		Christopher A. Stone, Robert Harper: Extensional equivalence and singleton types. ACM Trans. Comput. Log. 7(4): 676-722 (2006)
8		Andrej Bauer, Christopher A. Stone: Specifications via Realizability. Electr. Notes Theor. Comput. Sci. 153(1): 77-92 (2006)
	2004
7		Christopher A. Stone: Extensible objects without labels. ACM Trans. Program. Lang. Syst. 26(5): 805-835 (2004)
	2002
6		Jon G. Riecke, Christopher A. Stone: Privacy via Subsumption. Inf. Comput. 172(1): 2-28 (2002)
	2000
5		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		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

Coauthor Index

1	Owen L. Astrachan	[12]
2	Andrej Bauer	[8] [10] [11]
3	Edoardo Biagioni	[3]
4	Perry Cheng	[1] [2]
5	Kenneth Cline	[3]
6	Robert Harper	[1] [2] [4] [5] [9]
7	Brent Heeringa	[12]
8	Peter Lee	[1] [2] [3]
9	J. Gregory Morrisett (Greg Morrisett)	[1] [2]
10	Thomas P. Murtagh	[12]
11	Chris Okasaki	[3]
12	Nick Parlante	[12]
13	David Reed	[12]
14	Karen L. Reid	[12]
15	Jon G. Riecke	[6]
16	Mehran Sahami	[12]
17	David Tarditi	[1] [2]

Colors in the list of coauthors