Hugo Paquet
Orcid: 0000-0002-8192-0321
According to our database1,
Hugo Paquet
authored at least 16 papers
between 2015 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
Proc. ACM Program. Lang., January, 2023
CoRR, 2023
2022
Proceedings of the 38th Conference on the Mathematical Foundations of Programming Semantics, 2022
Proceedings of the 7th International Conference on Formal Structures for Computation and Deduction, 2022
2021
Proceedings of the Programming Languages and Systems, 2021
Densities of Almost Surely Terminating Probabilistic Programs are Differentiable Almost Everywhere.
Proceedings of the Programming Languages and Systems, 2021
2020
2019
Proceedings of the Programming Languages and Systems, 2019
2018
Proceedings of the Thirty-Fourth Conference on the Mathematical Foundations of Programming Semantics, 2018
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018
Proceedings of the 27th EACSL Annual Conference on Computer Science Logic, 2018
2015
Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, 2015