Typewriter: Neural type prediction with search-based validation

Publication
Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering