Flavien Breuvart
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
5
Active years
2014–2025
Best venue rank
B
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | FSCD | Categorical Continuation Semantics for Concurrency. | Flavien Breuvart, Hugo Paquet |
| 2023 | FSCD | Unifying Graded Linear Logic and Differential Operators. | Flavien Breuvart, Marie Kerjean, Simon Mirwasser |
| 2018 | PPDP | On Intersection Types and Probabilistic Lambda Calculi. | Flavien Breuvart, Ugo Dal Lago |
| 2017 | FOSSACS | On Higher-Order Probabilistic Subrecursion. | Flavien Breuvart, Ugo Dal Lago, Agathe Herrou |
| 2016 | ICFP | Combining effects and coeffects via grading. | Marco Gaboardi, Shin-ya Katsumata, Dominic A. Orchard, Flavien Breuvart, Tarmo Uustalu |
| 2015 | CSL | Modelling Coeffects in the Relational Semantics of Linear Logic. | Flavien Breuvart, Michele Pagani |
| 2014 | CSL | On the characterization of models of | Flavien Breuvart |