TY  - RPRT
TI  - Program Equivalence for Assisted Grading of Functional Programs (Extended Version)
AU  - Joshua Clune
AU  - Vijay Ramamurthy
AU  - Ruben Martins
AU  - Umut A. Acar
PY  - 2020
DO  - 10.1145/3428239
UR  - https://arxiv.org/abs/2010.08051
ID  - 2010.08051
ER  -