TY  - RPRT
TI  - TypeWriter: Neural Type Prediction with Search-based Validation
AU  - Michael Pradel
AU  - Georgios Gousios
AU  - Jason Liu
AU  - Satish Chandra
PY  - 2020
UR  - https://arxiv.org/abs/1912.03768
ID  - 1912.03768
ER  -