Tom Ellis -

Registered user since Thu 8 Jul 2021

Name:Tom Ellis

Country:United Kingdom

Affiliation:Microsoft

Contributions

POPL 2022	Author of Provably Correct, Asymptotically Efficient, Higher-Order Reverse-Mode Automatic Differentiation within the POPL-track
PLDI 2021	Author of Hashing Modulo Alpha-Equivalence within the PLDI-track