Statistics
Publications
4
Citations
112
H-Index
4
Active since
2015
Flavien Breuvart is an author at Institut national de recherche en sciences et technologies du numérique specializing in type theory, computer science, and type systems.
Publications per year
2015–2018
4
4
Combining effects and coeffects via grading
Shin-ya Katsumata, Dominic Orchard, Flavien Breuvart et al. · 2016 · 64 citations · Full text
On Intersection Types and Probabilistic Lambda Calculi
Flavien Breuvart, Ugo Dal Lago · 2018 · 24 citations · Full text
Combining effects and coeffects via grading
Shin-ya Katsumata, Dominic Orchard, Flavien Breuvart et al. · ACM SIGPLAN Notices · 2016 · 11 citations
1–4 of 4