Concepedia

Mathieu Huot

MH

5

Publications

73

Citations

5

H-Index

2019

Active since

Affiliations

University of Oxford(Current)

Mathieu Huot is an author at University of Oxford specializing in engineering, computer science, and automated reasoning.

ORCID

Top concepts

Publications per year

2019–2023

5

Publications

5

Functional collection programming with semi-ring dictionaries

Amir Shaikhha, Mathieu Huot, Jaclyn Smith et al. · Proceedings of the ACM on Programming Languages · 2022 · 23 citations · Full text

, , +22

ADEV: Sound Automatic Differentiation of Expected Values of Probabilistic Programs

Alexander K. Lew, Mathieu Huot, Sam Staton et al. · Proceedings of the ACM on Programming Languages · 2023 · 15 citations · Full text

Universal Properties in Quantum Theory

Mathieu Huot, Sam Staton · Electronic Proceedings in Theoretical Computer Science · 2019 · 14 citations · Full text

Quantum channels as a categorical completion

Mathieu Huot, Sam Staton · 2019 · 11 citations

, , +10

Higher Order Automatic Differentiation of Higher Order Functions

Mathieu Huot, Sam Staton, Matthijs Vákár · Logical Methods in Computer Science · 2022 · 10 citations · Full text

, , +17

Rows per page

1–5 of 5