@inproceedings{typeinferenceasoptimization,
  title = {Type Inference as Optimization},
  author = {Eirene V. Pandi and Earl T. Barr and Andrew D. Gordon and Charles Sutton},
  year = {2021},
  booktitle = {NeurIPS Workshop AIPLANS 2021 12},
  url = {https://openreview.net/forum?id=yHYZaQ0Zvml},
}