• Sign in
  • Sign up
conf.researchr.org / Michele Pagani
  • ETAPS 2019 profile
  • POPL 2017 profile
  • POPL 2018 profile
  • POPL 2020 profile
  • POPL 2021 profile
  • POPL 2023 profile
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

POPL 2023 Committee Member in Program Committee within the POPL-track
POPL 2021 Author of Automatic Differentiation in PCF within the POPL-track
LAFI 2020 Author of Backpropagation in the Simply Typed Lambda-calculus with Linear Negation within the LAFI (né PPS)-track
POPL 2020 Author of Backpropagation in the Simply Typed Lambda-calculus with Linear Negation within the Research Papers-track
FOSSACS 2019 Author of Strong Adequacy and Untyped Full-Abstraction for Probabilistic Coherence Spaces within the FOSSACS 2019-track
PPS 2018 Author of Stable, measurable functions and probabilistic programs within the PPS 2018-track
POPL 2018 Author of Measurable cones and stable, measurable functions within the Research Papers-track
POPL 2017 Committee Member in Program Committee within the POPL-track
Session Chair of Quantum (part of POPL)

Share
xTue 5 Jul 14:02
using conf.researchr.org (v1.56.1)
Support page
Sign Up