@misc{indiciae40a23a95d4ac,
  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 = {2021},
  url = {https://arxiv.org/abs/2004.00348},
  note = {Source identifier: 2004.00348}
}