BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Giannini:Paola

Contributed to:

CSL 20092009
ECOOP 20052005
SAC 20042004
SAC 20042004
ECOOP 20012001
SAIG 20002000
TLCA 19971997
SAS 19961996
LICS 19881988

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.