Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Maxime Kjaer
conf.researchr.org general profile
POPL 2022 profile
Not registered as user
Name:
Maxime Kjaer
Country:
Switzerland
Affiliation:
EPFL
Contributions
2022
POPL
Author of Type-Level Programming with Match Types within the POPL-track
Share
x
Tue 14 Jan 21:23