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...

Mô tả đầy đủ

Chi tiết về thư mục
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ự