Towards type inference for JavaScript C Anderson, P Giannini, S Drossopoulou ECOOP 2005-Object-Oriented Programming: 19th European Conference, Glasgow …, 2005 | 267 | 2005 |
Fickle: Dynamic Object Re-classification S Drossopoulou, F Damiani, M Dezani-Ciancaglini, P Giannini European Conference on Object-Oriented Programming, 130-149, 2001 | 135 | 2001 |
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 | 115 | 2002 |
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 | 93 | 1988 |
Type checking for JavaScript C Anderson, P Giannini Electronic Notes in Theoretical Computer Science 138 (2), 37-58, 2005 | 50 | 2005 |
Type inference: some results, some problems P Giannini, F Honsell, S Ronchi Della Rocca Fundamenta Informaticae 19 (1-2), 87-125, 1993 | 45 | 1993 |
A complete type inference algorithm for simple intersection types M Coppo, P Giannini Colloquium on Trees in Algebra and Programming, 102-123, 1992 | 45 | 1992 |
Effectively given domains and lambda-calculus models P Giannini, G Longo Information and Control 62 (1), 36-63, 1984 | 37 | 1984 |
Principal types and unification for simple intersection type systems M Coppo, P Giannini Information and Computation 122 (1), 70-96, 1995 | 33 | 1995 |
Reversible sessions with flexible choices I Castellani, M Dezani-Ciancaglini, P Giannini Acta Informatica 56 (7), 553-583, 2019 | 29 | 2019 |
A decidable intersection type system based on relevance F Damiani, P Giannini International Symposium on Theoretical Aspects of Computer Software, 707-725, 1994 | 29 | 1994 |
IDL, The Language and its Implementation J Nestor, J Newcomer, P Giannini, D Stone IDL, The Language and its Implementation, 1990 | 29 | 1990 |
Refinement types for program analysis M Coppo, F Damiani, P Giannini Static Analysis: Third International Symposium, SAS'96 Aachen, Germany …, 1996 | 26 | 1996 |
Global types with internal delegation I Castellani, M Dezani-Ciancaglini, P Giannini, R Horne Theoretical Computer Science 807, 128-153, 2020 | 25 | 2020 |
Refined Effects for Unanticipated Object Re-classification F Damiani, S Drossopoulou, P Giannini Italian Conference on Theoretical Computer Science, 97-110, 2003 | 24 | 2003 |
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 | 24 | 2000 |
Safe ambients: Abstract machine and distributed implementation P Giannini, D Sangiorgi, A Valente Science of Computer Programming 59 (3), 209-249, 2006 | 23 | 2006 |
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 | 22 | 2008 |
A type system for required/excluded elements in CLS M Dezani-Ciancaglini, P Giannini, A Troina arXiv preprint arXiv:0911.2323, 2009 | 21 | 2009 |
Strictness, totality, and non-standard-type inference M Coppo, F Damiani, P Giannini Theoretical Computer Science 272 (1-2), 69-112, 2002 | 21 | 2002 |