Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Raphaëlle Crubillé
conf.researchr.org general profile
ICFP 2022 profile
ICFP 2024 profile
Not registered as user yet
Name:
Raphaëlle Crubillé
Affiliation:
CNRS
Contributions
2024
HOPE
Author of Amplifying Contextual Distance in Higher-Order Languages, using the Law of Large Numbers within the HOPE 2024-track
2022
ICFP
Author of On Feller Continuity and Full Abstraction within the ICFP Papers and Events-track
Share
x
Thu 21 Nov 12:08