Skip to main content
Open Access Publications from the University of California
Search eScholarship
Refine Search
All of eScholarship
This Series
UC San Diego
UC San Diego
Deposit
Manage
Submissions
Menu
About eScholarship
UC Open Access Policies
Journals
Dissertations
Academic Units
eScholarship
UC San Diego
UC San Diego Previously Published Works
This item is not available for download from eScholarship
Share
Email
Facebook
Program Synthesis from Polymorphic Refinement Types.
2015
Polikarpova, Nadia
;
Solar-Lezama, Armando
Published Web Location
https://arxiv.org/abs/1510.08419
No data is associated with this publication.
...
Main Content
Metrics
Author & Article Info
View on External Site
Item not freely available? Link broken?
Report a problem accessing this item
Top
