TIL: A Type-Directed Optimizing Compiler for ML. - David Tarditi; J. Gregory Morrisett; Perry Cheng; Christopher A. Stone; Robert Harper 001; Peter Lee 001 (PLDI, 1996)

TIL: a type-directed, optimizing compiler for ML (with retrospective) - David Tarditi; J. Gregory Morrisett; Perry Cheng; Christopher A. Stone; Robert Harper 001; Peter Lee 001 (Best of PLDI, 1996)

Safe-for-Space Threads in Standard ML. - Edoardo Biagioni; Kenneth Cline; Peter Lee 001; Chris Okasaki; Christopher A. Stone (High. Order Symb. Comput., 1998)

A type-theoretic interpretation of standard ML. - Robert Harper 001; Christopher A. Stone (Proof, Language, and Interaction, 2000)

Deciding Type Equivalence with Singleton Kinds. - Christopher A. Stone; Robert Harper 001 (POPL, 2000)

Privacy via Subsumption. - Jon G. Riecke; Christopher A. Stone (Inf. Comput., 2002)

Extensible objects without labels. - Christopher A. Stone (ACM Trans. Program. Lang. Syst., 2004)

Specifications via Realizability. - Andrej Bauer; Christopher A. Stone (CLASE, 2005)

Extensional equivalence and singleton types. - Christopher A. Stone; Robert Harper 001 (ACM Trans. Comput. Log., 2006)

Nifty assignments. - Nick Parlante; Thomas P. Murtagh; Mehran Sahami; Owen L. Astrachan; David Reed 001; Christopher A. Stone; Brent Heeringa; Karen L. Reid (SIGCSE, 2009)

RZ: a Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice. - Andrej Bauer; Christopher A. Stone (J. Log. Comput., 2009)

Observationally cooperative multithreading. - Christopher A. Stone; Melissa E. O'Neill; The OCM Team (OOPSLA Companion, 2011)

Observationally Cooperative Multithreading. - Christopher A. Stone; Melissa E. O'Neill; Sonja A. Bohr; Adam M. Cozzette; M. Joe DeBlasio; Julia Matsieva; Stuart A. Pernsteiner; Ari D. Schumer (CoRR, 2015)

Design and Implementation of the Andromeda Proof Assistant. - Andrej Bauer; Gaëtan Gilbert; Philipp G. Haselwarter; Matija Pretnar; Christopher A. Stone (TYPES, 2016)

Student Experiences and Academic Outcomes When Multiple Introductory Tracks Converge. - Katherine Breeden; Lucas Bang; Christopher A. Stone; Julie Medero (ITiCSE (1), 2023)

ProofLang: The Language of arXiv Proofs. - Henry Hammer; Nanako Noda; Christopher A. Stone (CICM, 2023)