Santa Cruz Abstract Software systems / UnaryOp / Pure Type Systems / /
Facility
Cormac Flanagan† Williams College / Aaron Tomb† University of California / /
IndustryTerm
software system / compilation algorithm / function applications / then search / else search / call site / binary search trees / software development / type operator / /
Organization
Aaron Tomb† University / University of California / Santa Cruz / Williams College / Sum Unit / /
Person
Stephen N. Freund / Jessica Gronski† Kenneth Knowles / /