Map library / University of California / Ming Kawaguchi Patrick Rondon Ranjit Jhala University of California / /
IndustryTerm
large software systems / type inference algorithm / recursive sum-of-products / type systems / binary-search-ordering / sum-of-products / binary search tree / call site / particular call site / liquid type inference algorithm / refinements to each product / /
OperatingSystem
PDOS / /
Organization
National Science Foundation / United Nations / University of California / San Diego / /
Person
Ming Kawaguchi Patrick Rondon Ranjit / /
Position
head / x001 / logical qualifier / guard / General / head / qualifier / /
Product
D SOLVE / /
ProgrammingLanguage
ML / D / T / /
Technology
liquid type inference algorithm / type inference algorithm / /
Type-based Data Structure Verification ∗ Ming Kawaguchi Patrick Rondon Ranjit Jhala