ICFP/SPLASH 2025
Sun 12 - Sat 18 October 2025 Singapore
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

Show activities from other conferences

Using general profile