Program Equivalence for Assisted Grading of Functional Programs (Extended Version). - Joshua Clune; Vijay Ramamurthy; Ruben Martins; Umut A. Acar (CoRR, 2020)

Program equivalence for assisted grading of functional programs. - Joshua Clune; Vijay Ramamurthy; Ruben Martins; Umut A. Acar (Proc. ACM Program. Lang., 2020)