Automatic diagnosis and correction of logical errors for functional programming assignments

Junho Lee, Dowon Song, Sunbeom So, Hakjoo Oh. Automatic diagnosis and correction of logical errors for functional programming assignments. Proceedings of the ACM on Programming Languages, 2(OOPSLA), 2018. [doi]

Abstract

Abstract is missing.