• Sign in
  • Sign up
conf.researchr.org / Davide Barbarossa
  • POPL 2020 profile
  • POPL 2026 profile

Registered user since Thu 23 Jan 2020

Name:Davide Barbarossa
Affiliation:Université Paris 13
Personal website: https://lipn.univ-paris13.fr/~barbarossa/index.html

Contributions

2026

POPL

  • Author of Tropical Mathematics and the Lambda-Calculus II: Tropical Geometry of Probabilistic Programming Languages within the POPL-track

2020

POPL

  • Author of Taylor Subsumes Scott, Berry, Kahn and Plotkin within the Research Papers-track
Share
xWed 18 Feb 22:36
using conf.researchr.org (v1.73.1)
Support page
Sign Up