Book details
Program Design by Calculation
Categories Software engineering , Functional programming
This draft textbook develops a calculational approach to program design grounded in mathematics, compositionality, and parametricity. Its topics include point-free functional programming, recursion and monads, relational reasoning, contracts, program refinement, and a linear algebra of programming, with Haskell support material.
