| Towards type inference for JavaScript C Anderson, P Giannini, S Drossopoulou ECOOP 2005-Object-Oriented Programming: 19th European Conference, Glasgow …, 2005 | 272 | 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 | 95 | 1988 |
| Type checking for JavaScript C Anderson, P Giannini Electronic Notes in Theoretical Computer Science 138 (2), 37-58, 2005 | 51 | 2005 |
| A complete type inference algorithm for simple intersection types M Coppo, P Giannini Colloquium on Trees in Algebra and Programming, 102-123, 1992 | 46 | 1992 |
| Type inference: some results, some problems P Giannini, F Honsell, S Ronchi Della Rocca Fundamenta Informaticae 19 (1-2), 87-125, 1993 | 45 | 1993 |
| 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 | 35 | 1995 |
| Reversible sessions with flexible choices I Castellani, M Dezani-Ciancaglini, P Giannini Acta Informatica 56 (7), 553-583, 2019 | 30 | 2019 |
| A decidable intersection type system based on relevance F Damiani, P Giannini International Symposium on Theoretical Aspects of Computer Software, 707-725, 1994 | 30 | 1994 |
| IDL: The language and its Implementation JR Nestor, JM Newcomer, P Giannini, DL Stone Prentice-Hall, Inc., 1990 | 29 | 1990 |
| Global types with internal delegation I Castellani, M Dezani-Ciancaglini, P Giannini, R Horne Theoretical Computer Science 807, 128-153, 2020 | 28 | 2020 |
| Refinement types for program analysis M Coppo, F Damiani, P Giannini Static Analysis: Third International Symposium, SAS'96 Aachen, Germany …, 1996 | 26 | 1996 |
| Refined Effects for Unanticipated Object Re-classification F Damiani, S Drossopoulou, P Giannini Italian Conference on Theoretical Computer Science, 97-110, 2003 | 24 | 2003 |
| Java & lambda: a featherweight story L Bettini, V Bono, M Dezani-Ciancaglini, P Giannini, B Venneri Logical Methods in Computer Science 14, 2018 | 23 | 2018 |
| Safe ambients: Abstract machine and distributed implementation P Giannini, D Sangiorgi, A Valente Science of Computer Programming 59 (3), 209-249, 2006 | 23 | 2006 |
| 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 | 23 | 2000 |
| 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 |
Ferruccio DamianiFull Professor of Compurer Science, University of TorinoVerified email at di.unito.it
