Publications of Federico Olmedo
(if a year does not appear in the list, it is because there are no records for that particular year)
Year 2023
| 1. |
A Gradual Probabilistic Lambda Calculus.
Journal: Proceedings of the ACM Programming Languages. Volume: 7. Issue: 84. Pages: 256-285. Date: April 2023. Authors: Matías Toro, Federico Olmedo |
|
| 2. |
Contextual Linear Types for Differential Privacy.
Journal: ACM Transactions on Programming Languages and Systems. Volume: 45. Issue: 2. Pages: 8:1-8:69. Date: 2023. Authors: Matías Toro, David Darais, Chike Abuah, Joseph Near, Damián Árquez, Federico Olmedo, Éric Tanter |
|