Adjoint folds and unfolds—An extended study
Folds and unfolds are at the heart of the algebra of programming. They allow the cognoscenti to derive and manipulate programs rigorously and effectively. However, most, if not all, programs require some tweaking to be given the form of an (un)fold. In this article, we remedy the situation by introd...
| Հիմնական հեղինակ: | |
|---|---|
| Ձևաչափ: | Journal article |
| Հրապարակվել է: |
2013
|