@misc{indiciae51cfde86d0eb,
  title = {Type-Directed Program Synthesis and Constraint Generation for Library Portability},
  author = {Bruce Collie and Philip Ginsbach and Michael F. P. O'Boyle},
  year = {2019},
  doi = {10.1109/pact.2019.00013},
  url = {https://arxiv.org/abs/1908.04546},
  note = {Source identifier: 1908.04546}
}