@misc{indiciae3ea6d03eac01,
  title = {Program Synthesis from Polymorphic Refinement Types},
  author = {Nadia Polikarpova and Ivan Kuraj and Armando Solar-Lezama},
  year = {2016},
  url = {https://arxiv.org/abs/1510.08419},
  note = {Source identifier: 1510.08419}
}