Michele Pagani

Registered user since Wed 20 Jan 2016

Name:Michele Pagani
Country:France
Affiliation:IRIF - Université de Paris Cité
Research interests:Linear Logic and Lambda-calculus, Functional Programming, Probabilistic and Differentiable Programming

Contributions

POPL 2023 Committee Member in Program Committee within the POPL-track
LAFI 2023 The Variable Elimination Algorithm as a Let-Term Rewriting
Committee Member in Program Committee within the LAFI 2023-track
Show activities from other conferences

POPL 2023-profile
View general profile