Adjoint Folds and Unfolds Or: Scything through the Thicket of Morphisms
Folds and unfolds are at the heart of the algebra of programming. They allow the cognoscenti to derive and manipulate programs rigorously and effectively. Fundamental laws such as fusion codify basic optimisation principles. However, most, if not all, programs require some tweaking to be given the f...
Tác giả chính: | Hinze, R |
---|---|
Định dạng: | Journal article |
Ngôn ngữ: | English |
Được phát hành: |
2010
|
Những quyển sách tương tự
-
Adjoint Folds and Unfolds‚ Or: Scything through the Thicket of Morphisms
Bằng: Hinze, R
Được phát hành: (2010) -
Adjoint folds and unfolds-An extended study
Bằng: Hinze, R
Được phát hành: (2013) -
Adjoint folds and unfolds—An extended study
Bằng: Hinze, R
Được phát hành: (2013) -
Impressions of the big thicket /
Bằng: 358094 Owens, William A.
Được phát hành: (1973) -
Morphisms in Context.
Bằng: Krötzsch, M, et al.
Được phát hành: (2005)