Follow
Mathieu Huot
Title
Cited by
Cited by
Year
Correctness of Automatic Differentiation via Diffeologies and Categorical Gluing.
M Huot, S Staton, M Vákár
FoSSaCS, 319-338, 2020
242020
Universal properties in quantum theory
M Huot, S Staton
arXiv preprint arXiv:1901.10117, 2019
142019
Quantum channels as a categorical completion
M Huot, S Staton
2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-13, 2019
52019
Functional collection programming with semi-ring dictionaries
A Shaikhha, M Huot, J Smith, D Olteanu
Proceedings of the ACM on Programming Languages 6 (OOPSLA1), 1-33, 2022
42022
Higher order automatic differentiation of higher order functions
M Vákár, S Staton, M Huot
Logical Methods in Computer Science 18, 2022
42022
Operads with algebraic structure
M Huot
MPRI Internship Report, 2016
12016
Towards Denotational Semantics of AD for Higher-Order, Recursive, Probabilistic Languages
AK Lew, M Huot, VK Mansinghka
arXiv preprint arXiv:2111.15456, 2021
2021
Master report
M Huot
2017
A universal property in quantum theory
M Huot
The system can't perform the operation now. Try again later.
Articles 1–9