Jules Chouquet
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2018–2026
Best venue rank
B
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | FSCD | Approximation Theory for Distant Bang Calculus. | Kostia Chardonnet, Jules Chouquet, Axel Kerinec |
| 2025 | SAC | A Mechanized Formalization of an FRP Language with Effects. | Jordan Ischard, Frdric Dabrowski, Jules Chouquet, Frdric Loulergue |
| 2020 | CSL | Taylor expansion for Call-By-Push-Value. | Jules Chouquet, Christine Tasson |
| 2018 | CSL | An Application of Parallel Cut Elimination in Unit-Free Multiplicative Linear Logic to the Taylor Expansion of Proof Nets. | Jules Chouquet, Lionel Vaux Auclair |