UCSB Programming Languages Lab
Research
Publications
CV
Ben Hardekopf
Professor, UC Santa Barbara Computer Science Department
Follow
Email
Safe Functional Systems Through Integrity Types and Verified Assembly
Previous
Next
