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
POPL 2026 profile
Registered user since Tue 12 Jan 2021
Name:
Claudia Faggian
Affiliation:
Université de Paris & CNRS
Contributions
2026
PLanQC
Committee Member in Program Committee within the PLanQC 2026-track
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
Sun 2 Nov 01:27