Pages that link to "Item:Q2233481"
From MaRDI portal
The following pages link to Reverse AD at higher types: pure, principled and denotationally correct (Q2233481):
Displaying 4 items.
- Reverse AD at higher types: pure, principled and denotationally correct (Q2233481) (← links)
- CHAD for expressive total languages (Q6149934) (← links)
- Verifying an Effect-Handler-Based Define-By-Run Reverse-Mode AD Library (Q6178671) (← links)
- Concrete categories and higher-order recursion. With applications including probability, differentiability, and full abstraction (Q6649494) (← links)
