Not registered as user yet

Name:Jonathan Cameron
Country:United States
Affiliation:Carnegie Mellon University

Contributions

SPLASH 2022 Author of Linear types for large-scale systems verification within the OOPSLA-track