Travelled to:1 × Canada
1 × Cyprus
1 × France
1 × Germany
1 × Hungary
1 × Portugal
2 × United Kingdom
Collaborated with:F.Damiani M.Dezani-Ciancaglini S.R.D.Rocca S.Drossopoulou M.Coppo C.Anderson S.Berardi
Talks about:type (6) classif (3) program (2) thread (2) multi (2) infer (2) fickl (2) sub (2) javascript (1) polymorph (1)
Person: Paola Giannini
DBLP: Giannini:Paola
Contributed to:
2009
2005
200420042001
2000
1997
1996
1988Wrote 9 papers:
- CSL-2009-Dezani-CiancagliniGR #quantifier
- Intersection, Universally Quantified, and Reference Types (MDC, PG, SRDR), pp. 209–224.
- ECOOP-2005-AndersonGD #javascript #towards #type inference
- Towards Type Inference for JavaScript (CA, PG, SD), pp. 428–452.
- SAC-2004-DamianiDG #classification #multi #thread
- Re-classification and multi-threading: FickleMT (FD, MDC, PG), pp. 1297–1304.
- SAC-PL-J-2004-DamianiDG #classification #multi #on the #thread
- On Re-classification and Multi-threading (FD, MDC, PG), pp. 5–30.
- ECOOP-2001-DrossopoulouDDG #classification
- Fickle : Dynamic Object Re-classification (SD, FD, MDC, PG), pp. 130–149.
- SAIG-2000-BerardiCDG #functional #source code #type system
- Type-Based Useless-Code Elimination for Functional Programs (SB, MC, FD, PG), pp. 172–189.
- TLCA-1997-DamianiG #algorithm #strict
- An Inference Algorithm for Strictness (FD, PG), pp. 129–146.
- SAS-1996-CoppoDG #program analysis #refinement
- Refinement Types for Program Analysis (MC, FD, PG), pp. 143–158.
- LICS-1988-GianniniR #polymorphism
- Characterization of typings in polymorphic type discipline (PG, SRDR), pp. 61–70.