Back to Results
First PageMeta Content
Software engineering / Type theory / Programming language theory / Computing / Subtyping / Type system / System F / HindleyMilner type system / ML / Type inference / Typeof / Is-a


Inference and Checking of Object Ownership Wei Huang1 , Werner Dietl2 , Ana Milanova1 , and Michael D. Ernst2 1 Rensselaer Polytechnic Institute
Add to Reading List

Document Date: 2013-11-07 13:53:07


Open Document

File Size: 411,54 KB

Share Result on Facebook