2020
Program equivalence for assisted grading of functional programs.
Proc. ACM Program. Lang., 2020

Program Equivalence for Assisted Grading of Functional Programs (Extended Version).
CoRR, 2020