Cet auteur explore les approches formelles pour la construction et la vérification de programmes, dans le but de développer des techniques simples mais puissantes pour écrire et raisonner sur les programmes. Son travail met l'accent sur la structure mathématique sous-jacente des programmes, explorant des sujets tels que l'analyse fonctionnelle, la programmation relationnelle et les types coinductifs. Ses recherches se concentrent sur des méthodologies élégantes et efficaces en informatique.
Gibraltar, Morocco, Algeria, Tunisa, the Pelagie Islands and Malta
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.
This extensively updated and expanded version of the best-selling first edition now covers recent and more advanced features of Haskell.