1. Exploiting diversity in type checkers for better error messages. (April 2017) Authors: Chen, Sheng; Erwig, Martin; Smeltzer, Karl Journal: Journal of visual languages & computing Issue: Volume 39(2017) Page Start: 10 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗