
Registered user since Sat 4 Jun 2016
Name: Paola Giannini
Country: Italy
Affiliation: Universita’ del Piemonte Orientale
Personal website: http://people.unipmn.it/giannini/
Research interests: Logic semantics and type systems of programming languages and systems
Contributions
BEAT 2019 | Committee Member in Program Committee within the BEAT 2019-track Session Chair of Session 3 (part of BEAT 2019) Global Types with Internal Delegation | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
POPL 2019-profile
View general profile
View general profile