Skip to main content

Open Access Publications from the University of California

Search eScholarship

Refine Search

All of eScholarshipThis Series

UC San Diego

UC San Diego Previously Published Works banner

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

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.

Item not freely available? Link broken?

Report a problem accessing this item

Related Items

Identification and Evaluation of Non-Accidental Trauma in the Pediatric Population: A Clinical Review.
The inflammasome pathway is activated by dengue virus non-structural protein 1 and is protective during dengue virus infection.
The short version of the Sexual Distress Scale (SDS-3): Measurement invariance across countries, gender identities, and sexual orientations.
A brief instrument measuring the water, sanitation and hygiene domain of menstrual health among women who inject drugs
4th Generation HIV screening in the emergency department: net profit or loss for hospitals?

Home
About eScholarship
Campus Sites
UC Open Access Policy
eScholarship Publishing
Accessibility
Privacy Statement
Site Policies
Terms of Use
Admin Login
Help

Powered by the
California Digital Library
Copyright © 2017
The Regents of the University of California