OptTyper: Probabilistic Type Inference by Optimising Logical and Natural Constraints. - Irene Vlassi Pandi; Earl T. Barr; Andrew D. Gordon 001; Charles Sutton (CoRR, 2020)