Questo autore approfondisce approcci formali alla costruzione e verifica di programmi, con l'obiettivo di sviluppare tecniche semplici ma potenti per scrivere e ragionare sui programmi. Il suo lavoro enfatizza la struttura matematica sottostante dei programmi, esplorando argomenti come il parsing funzionale, la programmazione relazionale e i tipi coinduttivi. La sua ricerca si concentra su metodologie eleganti ed efficienti nell'informatica.
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.