Thorsten Altenkirch

Un nuovo approccio che integra la parametricità interna nella teoria dei tipi, migliorando l'affidabilità.

I contenitori modellano le strutture dati per una gestione e organizzazione migliori nella programmazione.