The following pages link to (Q5874204):
Displaying 6 items.
- A complete equational axiomatisation of partial differentiation (Q2133478) (← links)
- Correctness of automatic differentiation via diffeologies and categorical gluing (Q2200831) (← links)
- Reverse AD at higher types: pure, principled and denotationally correct (Q2233481) (← links)
- CHAD for expressive total languages (Q6149934) (← links)
- Diegetic Representation of Feedback in Open Games (Q6150152) (← links)
- Verifying an Effect-Handler-Based Define-By-Run Reverse-Mode AD Library (Q6178671) (← links)
