Gabriele Vanoni

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

Uno sguardo ai trasduttori ad albero e al loro ruolo nella trasformazione dei dati.