Pages that link to "Item:Q4943357"
From MaRDI portal
The following pages link to A tutorial on the universality and expressiveness of fold (Q4943357):
Displaying 12 items.
- Supercompilation for Martin-Lof's type theory (Q300348) (← links)
- Verifying the correctness and amortized complexity of a union-find implementation in separation logic with time credits (Q670699) (← links)
- Functional un\(|\)unparsing (Q1929354) (← links)
- Loop verification with invariants and contracts (Q2152642) (← links)
- Semantically restricted argument dependencies (Q2429990) (← links)
- Modular Dependent Induction in Coq, Mendler-Style (Q2829276) (← links)
- Factorising folds for faster functions (Q3070772) (← links)
- The worker/wrapper transformation (Q3616448) (← links)
- When is a function a fold or an unfold? (Q4917036) (← links)
- (Q5014449) (← links)
- Understanding beginners' mistakes with Haskell (Q5371952) (← links)
- Folding left and right matters: Direct style, accumulators, and continuations (Q6099203) (← links)
