ICFP/SPLASH 2025 (series) / Zachary Eisbach
Registered user since Mon 19 Aug 2024
Name:Zachary Eisbach
Country:United States
Affiliation:Northeastern University
Research interests:Semantics, logical relations, compilers, program logics
Contributions
Using general profile