Pages that link to "Item:Q2817685"
From MaRDI portal
The following pages link to Deriving structural hylomorphisms from recursive definitions (Q2817685):
Displaying 6 items.
- Pruning with improving sequences in lazy functional programs (Q1929352) (← links)
- The Expression Lemma (Q3521989) (← links)
- When is a function a fold or an unfold? (Q4917036) (← links)
- Denotation by Transformation (Q5504595) (← links)
- Contract lenses: Reasoning about bidirectional programs via calculation (Q6065510) (← links)
- Recursion schemes in Coq (Q6536316) (← links)
