☰

Christopher A. Stone, Ph.D. - Publications

Affiliations: 
2000 Carnegie Mellon University, Pittsburgh, PA 
Tree Info Similar researchers PubMed Report error

10 high-probability publications. We are testing a new system for linking publications to authors. You can help! If you notice any inaccuracies, please sign in and mark papers as correct or incorrect matches. If you identify any major omissions or other inaccuracies in the publication list, please let us know.

Year Citation  Score
2009 Bauer A, Stone CA. RZ: A tool for bringing constructive and computable mathematics closer to programming practice Journal of Logic and Computation. 19: 17-43. DOI: 10.1093/Logcom/Exn026  0.434
2006 Stone CA, Harper R. Extensional equivalence and singleton types Acm Transactions On Computational Logic. 7: 676-722. DOI: 10.1145/1183278.1183281  0.555
2006 Bauer A, Stone CA. Specifications via realizability Electronic Notes in Theoretical Computer Science. 153: 77-92. DOI: 10.1016/J.Entcs.2005.08.007  0.354
2004 Tarditi D, Morrisett G, Cheng P, Stone C, Harper R, Lee P. TIL: A type≠directed, optimizing compiler for ML Acm Sigplan Notices. 39: 554-555. DOI: 10.1145/989393.989449  0.627
2004 Stone CA. Extensible objects without labels Acm Transactions On Programming Languages and Systems. 26: 805-835. DOI: 10.1145/1018203.1018206  0.365
2004 Tarditi D, Morrisett G, Cheng P, Stone C, Harper R, Lee P. TIL: A type-directed optimizing compiler for ML Acm Sigplan Notices. 39: 556-567.  0.529
2004 Tarditi D, Morrisett G, Cheng P, Stone C, Harper R, Lee P. TIL: A type-directed optimizing compiler for ML Acm Sigplan Notices. 39: 556-567.  0.629
2004 Tarditi D, Morrisett G, Cheng P, Stone C, Harper R, Lee P. TIL: A type-directed optimizing compiler for ML Acm Sigplan Notices. 39: 556-567.  0.617
2002 Riecke JG, Stone CA. Privacy via subsumption Information and Computation. 172: 2-28. DOI: 10.1006/Inco.2000.2925  0.339
2000 Stone CA, Harper R. Deciding type equivalence in a language with singleton kinds Conference Record of the Annual Acm Symposium On Principles of Programming Languages. 214-227.  0.523
Show low-probability matches.