vix.ing · top · new · best · stats · spec

Diogo Simm

  1. Simply Typed Reverse-Mode Automatic Differentiation with Variants: Denotational Correctness via Idempotent Completion
    2026/07/16 by Fernando Lucatelli Nunes, Diogo Simm, Matthijs Vákár
    #cs.PL #cs.LO #math.CT