Christopher A. Stone

Publication Activity (10 Years)

Years Active: 1996-2023
Publications (10 Years): 4

Top Topics

Implementation Issues

Design Methodologies

Parallel Distributed

Top Venues

Publications

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