Automatic and scalable detection of logical errors in functional programming assignments

Dowon Song, Myungho Lee, Hakjoo Oh. Automatic and scalable detection of logical errors in functional programming assignments. Proceedings of the ACM on Programming Languages, 3(OOPSLA), 2019. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: