Christopher A. Stone
Orcid: 0009-0006-5720-3433Affiliations:
- Harvey Mudd College, Computer Science Department, Claremont, CA, USA
According to our database1,
Christopher A. Stone
authored at least 16 papers
between 1996 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on linkedin.com
-
on hmc.edu
-
on cs.hmc.edu
-
on orcid.org
-
on github.com
-
on andrej.com
-
on dl.acm.org
On csauthors.net:
Bibliography
2023
Proceedings of the Intelligent Computer Mathematics - 16th International Conference, 2023
Student Experiences and Academic Outcomes When Multiple Introductory Tracks Converge.
Proceedings of the 2023 Conference on Innovation and Technology in Computer Science Education V. 1, 2023
2016
Proceedings of the 22nd International Conference on Types for Proofs and Programs, 2016
2015
2011
Proceedings of the Companion to the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011
2009
RZ: a Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice.
J. Log. Comput., 2009
Proceedings of the 40th SIGCSE Technical Symposium on Computer Science Education, 2009
2006
2005
Proceedings of the Workshop on the Constructive Logic for Automated Software Engineering, 2005
2004
2002
2000
A type-theoretic interpretation of standard ML.
Proceedings of the Proof, Language, and Interaction, Essays in Honour of Robin Milner, 2000
1998
1996
Proceedings of the 20 Years of the ACM SIGPLAN Conference on Programming Language Design and Implementation 1979-1999, 1996
Proceedings of the ACM SIGPLAN'96 Conference on Programming Language Design and Implementation (PLDI), 1996