Registered user since Wed 6 Jan 2016

Name: Tommaso Petrucciani

Country: Italy

Affiliation: DIBRIS, Università di Genova, Italy & IRIF, Université Paris Diderot, France

Personal website: http://dibris.unige.it/petrucciani-tommaso

Research interests: Programming languages, Type theory, Semantics, Functional programming, Object oriented programming

Contributions