@misc{indiciae4626432f3ea9,
  title = {Program Equivalence for Assisted Grading of Functional Programs (Extended Version)},
  author = {Joshua Clune and Vijay Ramamurthy and Ruben Martins and Umut A. Acar},
  year = {2020},
  doi = {10.1145/3428239},
  url = {https://arxiv.org/abs/2010.08051},
  note = {Source identifier: 2010.08051}
}