110
Voted
MPC
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. 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 la...