Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Joris Dral
conf.researchr.org general profile
ICFP/SPLASH 2025 profile
Not registered as user
Name:
Joris Dral
Affiliation:
Well-Typed
Contributions
2025
FUNARCH
Author of A Layered Certifying Compiler Architecture within the FUNARCH-track
Share
x
Sat 25 Oct 05:25