Follow
Paola Giannini
Title
Cited by
Cited by
Year
Towards type inference for JavaScript
C Anderson, P Giannini, S Drossopoulou
European conference on Object-oriented programming, 428-452, 2005
2532005
Fickle: Dynamic Object Re-classification
S Drossopoulou, F Damiani, M Dezani-Ciancaglini, P Giannini
European Conference on Object-Oriented Programming, 130-149, 2001
1332001
More dynamic object reclassification: Fickle
S Drossopoulou, F Damiani, M Dezani-Ciancaglini, P Giannini
ACM Transactions on Programming Languages and Systems (TOPLAS) 24 (2), 153-191, 2002
1152002
Characterization of typings in polymorphic type discipline
P Giannini, SR Della Rocca
[1988] Proceedings. Third Annual Symposium on Logic in Computer Science, 61-70, 1988
891988
Type checking for JavaScript
C Anderson, P Giannini
Electronic Notes in Theoretical Computer Science 138 (2), 37-58, 2005
482005
Type inference: some results, some problems
P Giannini, F Honsell, S Ronchi Della Rocca
Fundamenta Informaticae 19 (1-2), 87-125, 1993
441993
A complete type inference algorithm for simple intersection types
M Coppo, P Giannini
Colloquium on Trees in Algebra and Programming, 102-123, 1992
441992
Effectively given domains and lambda-calculus models
P Giannini, G Longo
Information and Control 62 (1), 36-63, 1984
381984
IDL: The language and its Implementation
JR Nestor, JM Newcomer, P Giannini, DL Stone
Prentice-Hall, Inc., 1990
311990
A decidable intersection type system based on relevance
F Damiani, P Giannini
International Symposium on Theoretical Aspects of Computer Software, 707-725, 1994
301994
Principal types and unification for simple intersection type systems
M Coppo, P Giannini
Information and Computation 122 (1), 70-96, 1995
291995
Refinement types for program analysis
M Coppo, F Damiani, P Giannini
International Static Analysis Symposium, 143-158, 1996
261996
Refined Effects for Unanticipated Object Re-classification:
F Damiani, S Drossopoulou, P Giannini
Italian Conference on Theoretical Computer Science, 97-110, 2003
242003
A type safe state abstraction for coordination in Java-like languages
F Damiani, E Giachino, P Giannini, S Drossopoulou
Acta Informatica 45 (7), 479-536, 2008
232008
Type-based useless-code elimination for functional programs position paper
S Berardi, M Coppo, F Damiani, P Giannini
International Workshop on Semantics, Applications, and Implementation of …, 2000
222000
Strictness, totality, and non-standard-type inference
M Coppo, F Damiani, P Giannini
Theoretical Computer Science 272 (1-2), 69-112, 2002
212002
A type system for required/excluded elements in CLS
M Dezani-Ciancaglini, P Giannini, A Troina
arXiv preprint arXiv:0911.2323, 2009
202009
Safe ambients: Abstract machine and distributed implementation
P Giannini, D Sangiorgi, A Valente
Science of Computer Programming 59 (3), 209-249, 2006
192006
Java & lambda: a featherweight story
L Bettini, V Bono, M Dezani-Ciancaglini, P Giannini, B Venneri
arXiv preprint arXiv:1801.05052, 2018
182018
A type system for a stochastic CLS
M Dezani-Ciancaglini, P Giannini, A Troina
arXiv preprint arXiv:0911.4985, 2009
172009
The system can't perform the operation now. Try again later.
Articles 1–20