Programming in Haskell
- 304bladzijden
- 11 uur lezen
This extensively updated and expanded version of the best-selling first edition now covers recent and more advanced features of Haskell.
Graham Hutton Volgorde van de boeken (chronologisch)
Deze auteur duikt in formele benaderingen voor programmaconstructie en -verificatie, met als doel eenvoudige maar krachtige technieken te ontwikkelen voor het schrijven en redeneren over programma's. Zijn werk benadrukt de onderliggende wiskundige structuur van programma's en onderzoekt onderwerpen als functioneel parsen, relationeel programmeren en coinductieve typen. Zijn onderzoek richt zich op elegante en efficiënte methodologieën binnen de informatica.
North Africa
Gibraltar, Morocco, Algeria, Tunisa, the Pelagie Islands and Malta
- 279bladzijden
- 10 uur lezen
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.