Search the dblp DataBase

Publications of Author

1. 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]
   
2. 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]
   
3. Christopher A. Stone, Robert Harper
   Deciding Type Equivalence with Singleton Kinds. [Citation Graph (0, 0)][DBLP]
   POPL, 2000, pp:214-227 [Conf]
   
4. 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]
   
5. 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]
   
6. 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]
   
7. 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]
   
8. 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]
   
9. 
   A type-theoretic interpretation of standard ML. [Citation Graph (, )][DBLP]
   
   
10. 
    Nifty assignments. [Citation Graph (, )][DBLP]