Paola Giannini -

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) Author of Global Types with Internal Delegation within the BEAT 2019-track
FTfJP 2017	Author of Tracing sharing in an imperative pure calculus within the FTfJP 2017-track
DLS 2017	Committee Member in Program Committee within the DLS 2017-track
FTfJP 2016	Author of Coupling Catch Clauses with Local Declarations within the FTfJP-track
VORTEX 2016	Author of Runtime checks as nominal types within the VORTEX-track