@article{DBLP:journals/corr/PolikarpovaS15,
  author       = {Nadia Polikarpova and
                  Armando Solar{-}Lezama},
  title        = {Program Synthesis from Polymorphic Refinement Types},
  journal      = {CoRR},
  volume       = {abs/1510.08419},
  year         = {2015},
  url          = {http://arxiv.org/abs/1510.08419},
  eprinttype   = {arXiv},
  eprint       = {1510.08419},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/PolikarpovaS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"6KfMbgckg6XSmHvwf","bibbaseid":"polikarpova-solarlezama-programsynthesisfrompolymorphicrefinementtypes-2015","author_short":["Polikarpova, N.","Solar-Lezama, A."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Nadia"],"propositions":[],"lastnames":["Polikarpova"],"suffixes":[]},{"firstnames":["Armando"],"propositions":[],"lastnames":["Solar-Lezama"],"suffixes":[]}],"title":"Program Synthesis from Polymorphic Refinement Types","journal":"CoRR","volume":"abs/1510.08419","year":"2015","url":"http://arxiv.org/abs/1510.08419","eprinttype":"arXiv","eprint":"1510.08419","timestamp":"Mon, 13 Aug 2018 01:00:00 +0200","biburl":"https://dblp.org/rec/journals/corr/PolikarpovaS15.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/corr/PolikarpovaS15,\n author = {Nadia Polikarpova and\n Armando Solar{-}Lezama},\n title = {Program Synthesis from Polymorphic Refinement Types},\n journal = {CoRR},\n volume = {abs/1510.08419},\n year = {2015},\n url = {http://arxiv.org/abs/1510.08419},\n eprinttype = {arXiv},\n eprint = {1510.08419},\n timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},\n biburl = {https://dblp.org/rec/journals/corr/PolikarpovaS15.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Polikarpova, N.","Solar-Lezama, A."],"key":"DBLP:journals/corr/PolikarpovaS15","id":"DBLP:journals/corr/PolikarpovaS15","bibbaseid":"polikarpova-solarlezama-programsynthesisfrompolymorphicrefinementtypes-2015","role":"author","urls":{"Paper":"http://arxiv.org/abs/1510.08419"},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"http://dblp.org/pers/tb2/s/Solar=Lezama:Armando","dataSources":["DAnxudWukpMXCtWy8"],"keywords":[],"search_terms":["program","synthesis","polymorphic","refinement","types","polikarpova","solar-lezama"],"title":"Program Synthesis from Polymorphic Refinement Types","year":2015}