Registered user since Mon 5 Jul 2021
Name:Steven Keuchel
Country:Belgium
Affiliation:Vrije Universiteit Brussel
Personal website: https://soft.vub.ac.be/~skeuchel
GitHub: https://github.com/skeuchel
Research interests:Programming Languages, Proof-assistants, Compilers, Type theory
Contributions
POPL 2024-profile
View general profile
View general profile