C. B. Aberlé

Scopri le basi e l'importanza della teoria dei tipi dipendenti nella computazione.

Esplora come la parametricità e la coesione influenzano i sistemi di tipi affidabili.