
Registered user since Wed 20 Jan 2016
Name:Michele Pagani
Country:France
Affiliation:IRIF - Université de Paris
Personal website:https://www.irif.fr/~michele/
Research interests:Linear Logic and Lambda-calculus, Functional Programming, Probabilistic and Differentiable Programming, Deep Learning
Contributions
POPL 2021 | Automatic Differentiation in PCF | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
POPL 2021-profile
View general profile
View general profile