Follow
Paola Giannini
Title
Cited by
Cited by
Year
Towards type inference for JavaScript
C Anderson, P Giannini, S Drossopoulou
ECOOP 2005-Object-Oriented Programming: 19th European Conference, Glasgow …, 2005
2752005
Fickle: Dynamic Object Re-classification
S Drossopoulou, F Damiani, M Dezani-Ciancaglini, P Giannini
European Conference on Object-Oriented Programming, 130-149, 2001
1352001
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
961988
Type checking for JavaScript
C Anderson, P Giannini
Electronic Notes in Theoretical Computer Science 138 (2), 37-58, 2005
522005
A complete type inference algorithm for simple intersection types
M Coppo, P Giannini
Colloquium on Trees in Algebra and Programming, 102-123, 1992
461992
Type inference: some results, some problems
P Giannini, F Honsell, S Ronchi Della Rocca
Fundamenta Informaticae 19 (1-2), 87-125, 1993
451993
Effectively given domains and lambda-calculus models
P Giannini, G Longo
Information and Control 62 (1), 36-63, 1984
371984
Principal types and unification for simple intersection type systems
M Coppo, P Giannini
Information and Computation 122 (1), 70-96, 1995
351995
Reversible sessions with flexible choices
I Castellani, M Dezani-Ciancaglini, P Giannini
Acta Informatica 56 (7), 553-583, 2019
302019
A decidable intersection type system based on relevance
F Damiani, P Giannini
International Symposium on Theoretical Aspects of Computer Software, 707-725, 1994
301994
IDL: The language and its Implementation
JR Nestor, JM Newcomer, P Giannini, DL Stone
Prentice-Hall, Inc., 1990
291990
Global types with internal delegation
I Castellani, M Dezani-Ciancaglini, P Giannini, R Horne
Theoretical Computer Science 807, 128-153, 2020
282020
Refinement types for program analysis
M Coppo, F Damiani, P Giannini
Static Analysis: Third International Symposium, SAS'96 Aachen, Germany …, 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
Type-based useless-code elimination for functional programs position paper
S Berardi, M Coppo, F Damiani, P Giannini
Semantics, Applications, and Implementation of Program Generation …, 2000
242000
Java & lambda: a featherweight story
L Bettini, V Bono, M Dezani-Ciancaglini, P Giannini, B Venneri
Logical Methods in Computer Science 14, 2018
232018
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
Safe ambients: Abstract machine and distributed implementation
P Giannini, D Sangiorgi, A Valente
Science of Computer Programming 59 (3), 209-249, 2006
232006
Deconfined global types for asynchronous sessions
F Dagnino, P Giannini, M Dezani-Ciancaglini
Logical Methods in Computer Science 19, 2023
212023
The system can't perform the operation now. Try again later.
Articles 1–20