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, Functional Programming, Probabilistic Programming, Deep Learning
Contributions
| POPL 2020 | Author of Backpropagation in the Simply Typed Lambda-calculus with Linear Negation within the Research Papers-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
Using general profile