Pages that link to "Item:Q1583366"
From MaRDI portal
The following pages link to Lambda-dropping: Transforming recursive equations into programs with block structure (Q1583366):
Displaying 5 items.
- Lambda-dropping: Transforming recursive equations into programs with block structure (Q1583366) (← links)
- A functional approach to generic programming using adaptive traversals (Q1929347) (← links)
- Fold–unfold lemmas for reasoning about recursive programs using the Coq proof assistant (Q5051990) (← links)
- Getting There and Back Again (Q5074057) (← links)
- On one-pass CPS transformations (Q5428374) (← links)