Christopher A. Stone

18 papers A* 2A 1C 2Journal 7Unranked 6
YearRankTypeTitle / Venue / Authors
2023 C conf
ProofLang: The Language of arXiv Proofs.
CICM
Henry Hammer, Nanako Noda, Christopher A. Stone
2023 — conf
Student Experiences and Academic Outcomes When Multiple Introductory Tracks Converge.
ITiCSE (1)
Katherine Breeden, Lucas Bang, Christopher A. Stone, Julie Medero
2018 J jnl
Design and Implementation of the Andromeda Proof Assistant.
CoRR
Andrej Bauer, Gaëtan Gilbert, Philipp G. Haselwarter, Matija Pretnar, Christopher A. Stone
2016 — conf
Design and Implementation of the Andromeda Proof Assistant.
TYPES
Andrej Bauer, Gaëtan Gilbert, Philipp G. Haselwarter, Matija Pretnar, Christopher A. Stone
2015 J jnl
Observationally Cooperative Multithreading.
CoRR
Christopher A. Stone, Melissa E. O'Neill, Sonja A. Bohr, Adam M. Cozzette, M. Joe DeBlasio, Julia Matsieva, Stuart A. Pernsteiner, Ari D. Schumer
2011 — conf
Observationally cooperative multithreading.
OOPSLA Companion
Christopher A. Stone, Melissa E. O'Neill, The OCM Team
2009 A conf
Nifty assignments.
SIGCSE
Nick Parlante, Thomas P. Murtagh, Mehran Sahami, Owen L. Astrachan, David Reed, Christopher A. Stone, Brent Heeringa, Karen L. Reid
2009 J jnl
RZ: a Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice.
J. Log. Comput.
Andrej Bauer, Christopher A. Stone
2007 C conf
RZ: A Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice.
CiE
Andrej Bauer, Christopher A. Stone
2006 J jnl
Extensional equivalence and singleton types.
ACM Trans. Comput. Log.
Christopher A. Stone, Robert Harper
2005 — conf
Specifications via Realizability.
CLASE
Andrej Bauer, Christopher A. Stone
2004 J jnl
Extensible objects without labels.
ACM Trans. Program. Lang. Syst.
Christopher A. Stone
2002 J jnl
Privacy via Subsumption.
Inf. Comput.
Jon G. Riecke, Christopher A. Stone
2000 — conf
A type-theoretic interpretation of standard ML.
Proof, Language, and Interaction
Robert Harper, Christopher A. Stone
2000 A* conf
Deciding Type Equivalence with Singleton Kinds.
POPL
Christopher A. Stone, Robert Harper
1998 J jnl
Safe-for-Space Threads in Standard ML.
High. Order Symb. Comput.
Edoardo Biagioni, Kenneth Cline, Peter Lee, Chris Okasaki, Christopher A. Stone
1996 A* conf
TIL: A Type-Directed Optimizing Compiler for ML.
PLDI
David Tarditi, J. Gregory Morrisett, Perry Cheng, Christopher A. Stone, Robert Harper, Peter Lee
1996 — conf
TIL: a type-directed, optimizing compiler for ML (with retrospective)
Best of PLDI
David Tarditi, J. Gregory Morrisett, Perry Cheng, Christopher A. Stone, Robert Harper, Peter Lee