SPLASH 2024 (series) / Zachary Eisbach
Registered user since Mon 19 Aug 2024
Name:Zachary Eisbach
Country:United States
Affiliation:Northeastern University
Research interests:Programming language semantics, logical relations, safe language interoperability, program logics and specification
Contributions
Using general profile