Chris Stone's Publications
(Programming Language) Theory
- RZ: a tool for bringing constructive and computable mathematics closer to programming practice
Andrej Bauer and Christopher A. Stone
Extended abstract
Computability in Europe 2007: Computation and Logic in the Real World.
Journal version
Journal of Logic and Computation, to appear.
- Specifications via Realizability
Andrej Bauer and Christopher A. Stone
Extended abstract
ETAPS 2005 Workshop on
Constructive Logic for Automated Software Engineering
(CLASE).
- Extensional Equivalence and Singleton Types
Christopher A. Stone and Robert Harper
Journal version (incorporates major technical improvements over the dissertation and the POPL 2000 paper below)
ACM Transactions on Computational Logic, Volume 7, Number 4, October 2006.
- Type Definitions
Christopher A. Stone
Book Chapter
In "Advanced Topics in Types and Programming Languages",
Benjamin C. Pierce, Ed., MIT Press, 2005.
- Extensible Objects Without Labels
Christopher A. Stone
Journal version
ACM Transactions on Programming Languages and Systems, September 2004.
Extended abstract
Ninth Workshop on Foundations of Object-Oriented Languages (FOOL 9), 2002.
- Equational Theories with Recursive Types
Christopher A. Stone and Andrew P. Schoonmaker
Journal version
Submitted for publication.
Extended version
Contains more proof details.
- Privacy via Subsumption
Jon G. Riecke and Christopher A. Stone
Journal version
Information and Computation 172, page 2-28, 2002.
Extended abstract
Fifth Workshop on Foundations of Object Oriented Languages (FOOL 5), 1998.
- Deciding Type Equivalence in a Language with Singleton Kinds
Christopher A. Stone and Robert Harper
Journal version (includes major improvements over POPL version)
ACM Transactions on Computational Logic, to appear .
Extended abstract
2000 SIGPLAN Conference on Principles of Programming Languages (POPL '00).
Technical report
CMU Technical Report CMU-CS-99-155 (extended version of POPL paper)
- Singleton Types and Singleton Kinds
Christopher A. Stone
Ph.D. Dissertation
Also appears as CMU Technical Report CMU-CS-00-153, August 2000.
- A Type-Theoretic Interpretation of Standard
ML
Robert Harper and Chris Stone
Book chapter
In "Proof, Language and Interaction: Essays in Honour
of Robin Milner",
Gordon Plotkin, Colin Stirling, and
Mads Tofte Eds., MIT Press, 2000.
Technical report : "An Interpretation
of Standard ML in Type Theory"
Carnegie Mellon Department of Computer
Science, CMU-CS-97-147.
Also appears as Fox Memorandum
CMU-CS-FOX-97-01.
- Transparent and Opaque Interpretations of
Datatypes
Karl Crary, Robert Harper, Perry Cheng, Leaf Petersen,
and Chris Stone
Technical report
Carnegie Mellon Department of Computer
Science, CMU-CS-98-177.
Compilers
- Implementing the TILT Internal Language
Leaf Petersen, Perry Cheng, Robert Harper, Chris
Stone
Technical report
Carnegie Mellon Department of Computer
Science, CMU-CS-00-180
- Elaboration and Phase-Splitting in the TIL/ML
Compiler
Chris Stone
Abstract
1997 CMU Computer Science IC
Research Symposium
- The TIL/ML Compiler: Performance and Safety Through
Types
G. Morrisett, D. Tarditi, P. Cheng, C. Stone, R.
Harper, P. Lee
Extended abstract
1996 Workshop on Compiler Support for
Systems Software.
- TIL: A Type-Directed Optimizing Compiler for
ML
D. Tarditi, G. Morrisett, P. Cheng, C. Stone, R.
Harper, P. Lee
Extended abstract
1996 SIGPLAN Conference on Programming
Language Design and Implementation.
(Selected for the upcoming PLDI
Retrospective)
Other Computer Science
- Safe-for-Space Threads in Standard ML
Edoardo Biagioni, Ken Cline, Peter Lee, Chris Okasaki,
and Chris Stone
Journal version
Higher-order and Symbolic Computation,
11(2), 1998.
Extended abstract
Second ACM SIGPLAN Workshop on
Continuations, 1997.
- Systematic Detection of Subtle Spatio-Temporal
Patterns in Time-Lapse Imaging. II. Particle
Migrations
R.E. Valdes-Perez and C.A. Stone
Journal
version
Bioimaging 6(2), pages 71-78, 1998.
Miscellaneous
- The donation paradox for peremptory
challenges
J. Kadane, C. Stone, and G. Wallstrom
Journal version
Theory and Decision, Volume 47, Issue 2,
pages 139--155, October 1999.
Technical report
: "Optimal Use of Peremptory Challenges Reconsidered"
Carnegie Mellon Department of
Statistics, 575.
Last modified
June 24, 2008
by stone@cs.hmc.edu