Program equivalence for assisted grading of functional programs

Joshua Clune, Vijay Ramamurthy, Ruben Martins, Umut A. Acar. Program equivalence for assisted grading of functional programs. Proceedings of the ACM on Programming Languages, 4(OOPSLA), 2020. [doi]

Authors

Joshua Clune

This author has not been identified. Look up 'Joshua Clune' in Google

Vijay Ramamurthy

This author has not been identified. Look up 'Vijay Ramamurthy' in Google

Ruben Martins

This author has not been identified. Look up 'Ruben Martins' in Google

Umut A. Acar

This author has not been identified. Look up 'Umut A. Acar' in Google