The following pages link to The under-appreciated unfold (Q5348903):
Displaying 8 items.
- Imperative abstractions for functional actions (Q604455) (← links)
- Adapting functional programs to higher order logic (Q1029815) (← links)
- Algebras for combinatorial search (Q3638924) (← links)
- Two extensions of system F with (co)iteration and primitive (co)recursion principles (Q3653093) (← links)
- When is a function a fold or an unfold? (Q4917036) (← links)
- A Duality of Sorts (Q5410453) (← links)
- Fusion of recursive programs with computational effects (Q5941164) (← links)
- Programming language semantics: It’s easy as 1,2,3 (Q6065508) (← links)
