Functional Algorithm Design
Jeremy Gibbons
Abstract
Why reason about algorithms, when you can reason with them?
Month
November
Year
2020
Jeremy Gibbons
Why reason about algorithms, when you can reason with them?