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]

Authors

Dowon Song

This author has not been identified. Look up 'Dowon Song' in Google

Myungho Lee

This author has not been identified. Look up 'Myungho Lee' in Google

Hakjoo Oh

This author has not been identified. Look up 'Hakjoo Oh' in Google