home contact teaching publications talks

Università di Bologna Dipartimento di Scienze dell'Informazione   Simone Martini Il corso di Tipi nei linguaggi di programmazione presenterà i fondamenti dei sistemi di tipo dei linguaggi di programmazione, con particolare attenzione alle tecniche per il polimorfismo e la parametricità. Programma ufficiale del corso.