• 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 Cité
Personal website: https://www.irif.fr/~michele/
Research interests:Linear Logic and Lambda-calculus, Functional Programming, Probabilistic and Differentiable Programming

Contributions

2023

POPL

  • Committee Member in Program Committee within the POPL-track

LAFI

  • Author of The Variable Elimination Algorithm as a Let-Term Rewriting within the LAFI 2023-track
  • Committee Member in Program Committee within the LAFI 2023-track

2021

POPL

  • Author of Automatic Differentiation in PCF within the POPL-track

2020

POPL

  • Author of Backpropagation in the Simply Typed Lambda-calculus with Linear Negation within the Research Papers-track

LAFI

  • Author of Backpropagation in the Simply Typed Lambda-calculus with Linear Negation within the LAFI (né PPS)-track

2019

FOSSACS

  • Author of Strong Adequacy and Untyped Full-Abstraction for Probabilistic Coherence Spaces within the FOSSACS 2019-track

2018

POPL

  • Author of Measurable cones and stable, measurable functions within the Research Papers-track

LAFI

  • Author of Stable, measurable functions and probabilistic programs within the PPS 2018-track

2017

POPL

  • Committee Member in Program Committee within the POPL-track
  • Session Chair of Quantum (part of POPL)
Share
xTue 5 Dec 09:06
using conf.researchr.org (v1.62.0)
Support page
Sign Up