Registered user since Tue 20 May 2025
Name:Gabriel Ebner
Country:United States
Affiliation:Microsoft Research
Personal website: https://gebner.org/
GitHub: https://github.com/gebner
Contributions
POPL 2026-profile
View general profile
View general profile