%0 Journal Article %T TypeWriter: neural type prediction with search-based validation %A Pradel, Michael %A Gousios, Georgios %A Liu, Jason %A Chandra, Satish %A , %J Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering %D 2020-11-08 %I ACM %~ DeepDyve