Davide Barbarossa

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 5

Top Topics

Resource Requirements

Approximation Schemes

Top Venues

Proc. ACM Program. Lang.

Publications

Davide Barbarossa, Paolo Pistone
Tropical Mathematics and the Lambda-Calculus I: Metric and Differential Analysis of Effectful Programs. CSL (2024)
Davide Barbarossa, Paolo Pistone
Tropical Mathematics and the Lambda-Calculus (short paper) (text not included). ICTCS (2023)
Davide Barbarossa, Paolo Pistone
Tropical Mathematics and the Lambda Calculus I: Metric and Differential Analysis of Effectful Programs. CoRR (2023)
Davide Barbarossa
Resource approximation for the λμ-calculus. LICS (2022)
Davide Barbarossa, Giulio Manzonetto
Taylor subsumes Scott, Berry, Kahn and Plotkin. Proc. ACM Program. Lang. 4 (POPL) (2020)