SPLASH 2019 (series) / Tim Stevens
Not registered as user yet
Name: Tim Stevens
Affiliation: University of Vermont
Contributions
| SPLASH 2019 | Author of Duet: An Expressive Higher-order Language and Linear Type System for Statically Enforcing Differential Privacy within the OOPSLA-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
Using general profile