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

相似書籍