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
POPL 2025 profile
Registered user since Tue 12 Jan 2021
Name:
Claudia Faggian
Affiliation:
Université de Paris & CNRS
Contributions
2025
LAFI
Committee Member in Program Committee within the LAFI 2025-track
2024
Symposium on Practical Aspects of Declarative Languages
Panelist of Declarative Languages for Safe AI within the PADL 2024-track
POPL
Author of Higher Order Bayesian Networks, Exactly within the POPL-track
GaLoP
Author of Normal Form Bisimulations by Value within the GALOP 2024-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
Thu 21 Nov 11:41