Pages that link to "Item:Q2024352"

The following pages link to Modular verification of programs with effects and effect handlers in Coq (Q2024352):

Displaying 1 item.

• Verifying an Effect-Handler-Based Define-By-Run Reverse-Mode AD Library (Q6178671) (← links)