| Correctness of Automatic Differentiation via Diffeologies and Categorical Gluing. M Huot, S Staton, M Vákár FoSSaCS, 319-338, 2020 | 24 | 2020 |
| Universal properties in quantum theory M Huot, S Staton arXiv preprint arXiv:1901.10117, 2019 | 14 | 2019 |
| 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 | 5 | 2019 |
| 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 | 4 | 2022 |
| Higher order automatic differentiation of higher order functions M Vákár, S Staton, M Huot Logical Methods in Computer Science 18, 2022 | 4 | 2022 |
| Operads with algebraic structure M Huot MPRI Internship Report, 2016 | 1 | 2016 |
| 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 | | |
