• 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

2022

PLDI

  • Author of (POPL 2022) Provably Correct, Asymptotically Efficient, Higher-Order Reverse-Mode Automatic Differentiation within the SIGPLAN Track-track

POPL

  • Author of Provably Correct, Asymptotically Efficient, Higher-Order Reverse-Mode Automatic Differentiation within the POPL-track

2021

PLDI

  • Author of Hashing Modulo Alpha-Equivalence within the PLDI-track
Share
xTue 15 Jul 02:19
using conf.researchr.org (v1.69.1)
Support page
Sign Up