Reverse AD at Higher Types: Pure, Principled and Denotationally Correct
Project: SemanDiff
Updated at: 28-04-2024
Show more
information
Project acronym
SemanDiff