Write a Blog >>
Paola Giannini

Registered user since Sat 4 Jun 2016

Name:Paola Giannini
Affiliation:Universita' del Piemonte Orientale
Research interests:Logic semantics and type systems of programming languages and systems


FTfJP 2017 Tracing sharing in an imperative pure calculus
Show activities from other conferences

PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM-profile
View general profile