Hugo Paquet

According to our database, Hugo Paquet authored at least 18 papers between 2015 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Stabilized profunctors and stable species of structures.

Marcelo Fiore, Zeinab Galal, Hugo Paquet

Log. Methods Comput. Sci., 2024

Effectful semantics in bicategories: strong, commutative, and concurrent pseudomonads.

Hugo Paquet, Philip Saville

Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, 2024

Element-free probability distributions and random partitions.

Victor Blanchi, Hugo Paquet

Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, 2024

2023

Affine Monads and Lazy Structures for Bayesian Programming.

Swaraj Dash, Younesse Kaddar, Hugo Paquet, Sam Staton

Proc. ACM Program. Lang., January, 2023

Effectful Semantics in 2-Dimensional Categories: Premonoidal and Freyd Bicategories.

Hugo Paquet, Philip Saville

Proceedings of the Sixth International Conference on Applied Category Theory 2023, 2023

Strong pseudomonads and premonoidal bicategories.

Hugo Paquet, Philip Saville

CoRR, 2023

From Thin Concurrent Games to Generalized Species of Structures.

Pierre Clairambault, Federico Olimpieri, Hugo Paquet

Proceedings of the 38th Annual ACM/IEEE Symposium on Logic in Computer Science, 2023

2022

Bi-invariance for Uniform Strategies on Event Structures.

Hugo Paquet

Proceedings of the 38th Conference on the Mathematical Foundations of Programming Semantics, 2022

A Combinatorial Approach to Higher-Order Structure for Polynomial Functors.

Marcelo Fiore, Zeinab Galal, Hugo Paquet

Proceedings of the 7th International Conference on Formal Structures for Computation and Deduction, 2022

2021

The Quantitative Collapse of Concurrent Games with Symmetry.

Pierre Clairambault, Hugo Paquet

CoRR, 2021

Bayesian strategies: probabilistic programs as generalised graphical models.

Hugo Paquet

Proceedings of the Programming Languages and Systems, 2021

Densities of Almost Surely Terminating Probabilistic Programs are Differentiable Almost Everywhere.

Carol Mak, C.-H. Luke Ong, Hugo Paquet, Dominik Wagner

Proceedings of the Programming Languages and Systems, 2021

2020

Probabilistic concurrent game semantics.

Hugo Paquet

PhD thesis, 2020

2019

Probabilistic Programming Inference via Intensional Semantics.

Simon Castellan, Hugo Paquet

Proceedings of the Programming Languages and Systems, 2019

2018

Continuous Probability Distributions in Concurrent Games.

Hugo Paquet, Glynn Winskel

Proceedings of the Thirty-Fourth Conference on the Mathematical Foundations of Programming Semantics, 2018

The concurrent game semantics of Probabilistic PCF.

Simon Castellan, Pierre Clairambault, Hugo Paquet, Glynn Winskel

Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018

Fully Abstract Models of the Probabilistic lambda-calculus.

Pierre Clairambault, Hugo Paquet

Proceedings of the 27th EACSL Annual Conference on Computer Science Logic, 2018

2015

Verification of Multi-Agent Systems via SDD-based Model Checking.

Alessio Lomuscio, Hugo Paquet

Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, 2015