Graham Hutton Ordine dei libri

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.