Registered user since Wed 6 Jan 2016

Name: Tommaso Petrucciani

Country: Italy

Affiliation: University of Genoa, France

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

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

Contributions