
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
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
View general profile