Agathe Herrou

Publication Activity (10 Years)

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

Top Topics

Lambda Calculus

Probabilistic Relational

Top Venues

Log. Methods Comput. Sci.

Publications

Agathe Herrou, Florent de Dinechin, Stéphane Letz, Yann Orlarey, Anastasia Volkova
Towards Fixed-Point Formats Determination for Faust Programs. CoRR (2024)
Agathe Herrou, Bruno Lévy, Vincent Nivoliers, Nicolas Bonneel, Julie Digne
Symmetrized semi-discrete optimal transport. CoRR (2022)
Flavien Breuvart, Ugo Dal Lago, Agathe Herrou
On Higher-Order Probabilistic Subrecursion. Log. Methods Comput. Sci. 17 (4) (2021)
Flavien Breuvart, Ugo Dal Lago, Agathe Herrou
On Higher-Order Probabilistic Subrecursion. FoSSaCS (2017)
Flavien Breuvart, Ugo Dal Lago, Agathe Herrou
On Higher-Order Probabilistic Subrecursion (Long Version). CoRR (2017)