Riccardo Treglia

Scopri il ruolo dei tipi di intersezione monadici nel migliorare i sistemi di tipi dei linguaggi di programmazione.