@article{opttyperprobabilistictypeinferenceby,
  title = {OptTyper: Probabilistic Type Inference by Optimising Logical and Natural Constraints},
  author = {Irene Vlassi Pandi and Earl T. Barr and Andrew D. Gordon and Charles Sutton},
  year = {2020},
  eprint = {2004.00348},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2004.00348v3},
}