Program synthesis from polymorphic refinement types

Document Details

Document Type
Pub Defense Publication
Publication Date
Jun 02, 2016
Source ID
10.1145/2908080.2908093

Entities

People

  • Armando Solar-lezama
  • Ivan Kuraj
  • Nadia Polikarpova

Organizations

  • Defense Advanced Research Projects Agency
  • Massachusetts Institute of Technology
  • National Science Foundation