Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Claudia Faggian
conf.researchr.org general profile
ICFP 2021 profile
POPL 2021 profile
POPL 2023 profile
POPL 2024 profile
Registered user since Tue 12 Jan 2021
Name:
Claudia Faggian
Affiliation:
Université de Paris & CNRS
Contributions
2024
POPL
Author of Higher Order Bayesian Networks, Exactly within the POPL-track
2023
LAFI
Author of The Variable Elimination Algorithm as a Let-Term Rewriting within the LAFI 2023-track
2021
HOPE
Author of Computational calculus: bridging reduction and evaluation within the HOPE 2021-track
POPL
Author of Intersection Types and (Positive) Almost-Sure Termination within the POPL-track
Share
x
Wed 6 Dec 01:52