×
2020
Program equivalence for assisted grading of functional programs.
[DOI]
Joshua Clune
,
Vijay Ramamurthy
,
Ruben Martins
,
Umut A. Acar
Proc. ACM Program. Lang., 2020
Program Equivalence for Assisted Grading of Functional Programs (Extended Version).
[DOI]
Joshua Clune
,
Vijay Ramamurthy
,
Ruben Martins
,
Umut A. Acar
CoRR, 2020