|
Search the dblp DataBase
Christopher A. Stone:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- David Tarditi, J. Gregory Morrisett, Perry Cheng, Chris Stone, Robert Harper, Peter Lee
TIL: A Type-Directed Optimizing Compiler for ML. [Citation Graph (0, 0)][DBLP] PLDI, 1996, pp:181-192 [Conf]
- David Tarditi, J. Gregory Morrisett, Perry Cheng, Chris Stone, Robert Harper, Peter Lee
TIL: a type-directed, optimizing compiler for ML (with retrospective) [Citation Graph (0, 0)][DBLP] Best of PLDI, 1996, pp:554-567 [Conf]
- Christopher A. Stone, Robert Harper
Deciding Type Equivalence with Singleton Kinds. [Citation Graph (0, 0)][DBLP] POPL, 2000, pp:214-227 [Conf]
- Andrej Bauer, Christopher A. Stone
Specifications via Realizability. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2006, v:153, n:1, pp:77-92 [Journal]
- Jon G. Riecke, Christopher A. Stone
Privacy via Subsumption. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2002, v:172, n:1, pp:2-28 [Journal]
- Christopher A. Stone, Robert Harper
Extensional equivalence and singleton types. [Citation Graph (0, 0)][DBLP] ACM Trans. Comput. Log., 2006, v:7, n:4, pp:676-722 [Journal]
- Christopher A. Stone
Extensible objects without labels. [Citation Graph (0, 0)][DBLP] ACM Trans. Program. Lang. Syst., 2004, v:26, n:5, pp:805-835 [Journal]
- Andrej Bauer, Christopher A. Stone
RZ: A Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice. [Citation Graph (0, 0)][DBLP] CiE, 2007, pp:28-42 [Conf]
A type-theoretic interpretation of standard ML. [Citation Graph (, )][DBLP]
Nifty assignments. [Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.003secs
|