Write a Blog >>
Michele Pagani

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

LAFI 2020Author of Backpropagation in the Simply Typed Lambda-calculus with Linear Negation within the LAFI (né PPS)-track
POPL 2020Author of Backpropagation in the Simply Typed Lambda-calculus with Linear Negation within the Research Papers-track
Show activities from other conferences

Using general profile