Write a Blog >>
Michele Pagani

Registered user since Wed 20 Jan 2016

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

Contributions

LAFI 2020 Backpropagation in the Simply Typed Lambda-calculus with Linear Negation
POPL 2020 Backpropagation in the Simply Typed Lambda-calculus with Linear Negation
Show activities from other conferences

POPL 2020-profile
View general profile