| Document Date: 2012-09-11 20:34:29
Open Document File Size: 899,31 KBShare Result on Facebook
Facility UNIVERSITY OF CALIFORNIA / / IndustryTerm food / / Organization Patrick Rondon Committee / Dissertation Chapter / UNIVERSITY OF CALIFORNIA / SAN DIEGO / / Person Zach Tatlock / Ravi Chugh / Sorin Lerner / Patrick Rondon / Ranjit Jhala / Jens Palsberg / Ming Kawaguchi / Sorin Lerner Jens Palsberg Geoffrey / Geoff Voelker / Sam Buss / Alexander Bakst / Jens Palsberg Geoffrey Voelker / Ross Tate / Samuel R. Buss Sorin Lerner Jens / / Position Chair / advisor / principal investigator / Professor / dissertation author / / ProgrammingLanguage C / ML / L / / ProvinceOrState California / / Technology Programs Liquid Type Inference Algorithm / /
SocialTag |
UNIVERSITY OF CALIFORNIA, SAN DIEGO Liquid Types A dissertation submitted in partial satisfaction of the requirements for the degree Doctor of Philosophy in