1
Table of Contents: ...Programming and Reasoning with Equations -- to Haskell -- Equational Reasoning -- Recursion...
View full text
Electronic eBook