Simply Typed Reverse-Mode AD with Variants: Denotational Correctness via Idempotent Completion | Digital Library | PAMCET

Simply Typed Reverse-Mode AD with Variants: Denotational Correctness via Idempotent Completion | Digital Library | PAMCET | PAMCET