Registered user since Mon 24 Jan 2022
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