Pages that link to "Item:Q2233481"

The following pages link to Reverse AD at higher types: pure, principled and denotationally correct (Q2233481):

Displaying 3 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)