Michele Pagani - POPL 2020

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