The following pages link to (Q5472881):
Displayed 7 items.
- Refunctionalization at work (Q923881) (← links)
- Shortcut fusion rules for the derivation of circular and higher-order programs (Q1929359) (← links)
- Fold–unfold lemmas for reasoning about recursive programs using the Coq proof assistant (Q5051990) (← links)
- Getting There and Back Again (Q5074057) (← links)
- A well-known representation of monoids and its application to the function ‘vector reverse’ (Q5101924) (← links)
- Some Remarks on Type Systems for Course-of-value Recursion (Q5178964) (← links)
- Verifying an Effect-Handler-Based Define-By-Run Reverse-Mode AD Library (Q6178671) (← links)