Joomy Korkut
Affiliations:- Princeton University, Department of Computer Science, NJ, USA
- Wesleyan University, Middletown, CT, USA
According to our database1,
Joomy Korkut
authored at least 2 papers
between 2018 and 2022.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on linkedin.com
-
on twitter.com
-
on github.com
-
on dl.acm.org
On csauthors.net:
Bibliography
2022
Proceedings of the Proceedings 11th International Workshop on Theorem Proving Components for Educational Software, 2022
2018
Proceedings of the 3rd ACM SIGPLAN International Workshop on Type-Driven Development, 2018