Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Camille Noûs
conf.researchr.org general profile
ICFP/SPLASH 2025 profile
Not registered as user
Name:
Camille Noûs
Country:
France
Affiliation:
Laboratoire Cogitamus - Université Publique
Contributions
2025
OlivierFest
Author of Towards Metaprogramming Defunctionalization in Rocq within the OlivierFest 2025-track
Share
x
Mon 27 Oct 23:47