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]

Abstract

Abstract is missing.