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...
主要作者: | Hinze, R |
---|---|
格式: | Journal article |
語言: | English |
出版: |
2010
|
相似書籍
-
Adjoint Folds and Unfolds‚ Or: Scything through the Thicket of Morphisms
由: Hinze, R
出版: (2010) -
Adjoint folds and unfolds-An extended study
由: Hinze, R
出版: (2013) -
Adjoint folds and unfolds—An extended study
由: Hinze, R
出版: (2013) -
Impressions of the big thicket /
由: 358094 Owens, William A.
出版: (1973) -
Morphisms in Context.
由: Krötzsch, M, et al.
出版: (2005)