Programming in Haskell
- 304 pages
- 11 hours of reading
This extensively updated and expanded version of the best-selling first edition now covers recent and more advanced features of Haskell.
Graham Hutton Book order (chronological)
This author delves into formal approaches to program construction and verification, aiming to develop simple yet powerful techniques for writing and reasoning about programs. Their work emphasizes the underlying mathematical structure of programs, exploring topics such as functional parsing, relational programming, and coinductive types. Their research focuses on elegant and efficient methodologies within computer science.
North Africa
Gibraltar, Morocco, Algeria, Tunisa, the Pelagie Islands and Malta
- 279 pages
- 10 hours of reading
The third edition of this pilot to North Africa has been fully updated and in some areas expanded. New waypoints have been introduced to identify approach positions for each harbour and changes in the structure of the book have made it much more user friendly.