• Sign in
  • Sign up
conf.researchr.org / Tom Ellis
  • PLDI 2021 profile
  • PLDI 2022 profile
  • POPL 2022 profile

Registered user since Thu 8 Jul 2021

Name:Tom Ellis
Country:United Kingdom
Affiliation:Microsoft Research

Contributions

PLDI 2022 Author of (POPL 2022) Provably Correct, Asymptotically Efficient, Higher-Order Reverse-Mode Automatic Differentiation within the SIGPLAN Track-track
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

Share
xThu 1 Jun 13:46
using conf.researchr.org (v1.60.0)
Support page
Sign Up