Programming in Haskell
- 304 páginas
- 11 horas de lectura
This extensively updated and expanded version of the best-selling first edition now covers recent and more advanced features of Haskell.
Graham Hutton Orden de los libros (cronológico)
Este autor profundiza en enfoques formales para la construcción y verificación de programas, con el objetivo de desarrollar técnicas sencillas pero potentes para escribir y razonar sobre programas. Su trabajo enfatiza la estructura matemática subyacente de los programas, explorando temas como el análisis funcional, la programación relacional y los tipos coinductivos. Su investigación se centra en metodologías elegantes y eficientes dentro de la informática.
North Africa
Gibraltar, Morocco, Algeria, Tunisa, the Pelagie Islands and Malta
- 279 páginas
- 10 horas de lectura
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.