SPLASH 2022
Mon 5 - Sat 10 December 2022 Auckland, New Zealand
Paola Giannini

Registered user since Sat 4 Jun 2016

Name:Paola Giannini
Country:Italy
Affiliation:University of Eastern Piedmont
Research interests:Logic semantics and type systems of programming languages and systems

Contributions

SPLASH 2022 Coeffects for Sharing and Mutation
Unsound 2022 Committee Member in Organizing Committee within the Sources of Unsoundness in Verification-track
Show activities from other conferences

SPLASH 2022-profile
View general profile