• Sign in
  • Sign up
conf.researchr.org / Claudia Faggian
  • ICFP 2021 profile
  • POPL 2021 profile
  • POPL 2023 profile
  • POPL 2024 profile
  • POPL 2025 profile
No Photo

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
xSat 10 May 02:44
using conf.researchr.org (v1.69.0)
Support page
Sign Up