Joshua Clune
According to our database1,
Joshua Clune
authored at least 4 papers
between 2020 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Proceedings of the 15th International Conference on Interactive Theorem Proving, 2024
2023
Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2023
2020
Proc. ACM Program. Lang., 2020
CoRR, 2020