Joshua Clune

Publication Activity (10 Years)

Years Active: 2020-2023
Publications (10 Years): 3

Top Topics

Functional Programs

Lazy Evaluation

Top Venues

Proc. ACM Program. Lang.

Publications

Joshua Clune
A Formalized Reduction of Keller's Conjecture. CPP (2023)
Joshua Clune, Vijay Ramamurthy, Ruben Martins, Umut A. Acar
Program Equivalence for Assisted Grading of Functional Programs (Extended Version). CoRR (2020)
Joshua Clune, Vijay Ramamurthy, Ruben Martins, Umut A. Acar
Program equivalence for assisted grading of functional programs. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)