0 present participle of unfold --
1 to open or spread out something that has been folded: --
He watched her expression as she unfolded the letter.
2 If a situation or story unfolds, it develops or becomes clear to other people: --
We now focus on simple cycles and describe the dynamics of nice perturbations of them: the unfolding of simple cycles preserving their affine structures.
The folding capillarity model gives a poor approximation for the configurations involved in late stage folding events, and vice versa for the unfolding capillarity theory.
They allow us to preserve the meaning of cut under unfolding.
Recursive object type expressions are handled by unfolding.
Their removal by unfolding can help obtain more efficient programs with better opportunities for fusion.
Such intermediate functions are required when unfolding each g-type function call which needs to have its pattern-matching argument instantiated.
In order to do this, we develop an operational model of recursive symbolic computation where program transformations like unfolding can be readily expressed.
Theorems 1, 3 and 4 provide a basis for unfolding recursive programs to static terms.
