Towards type inference for JavaScript C Anderson, P Giannini, S Drossopoulou
European conference on Object-oriented programming, 428-452, 2005
240 2005 Fickle : Dynamic Object Re-classificationS Drossopoulou, F Damiani, M Dezani-Ciancaglini, P Giannini
European Conference on Object-Oriented Programming, 130-149, 2001
127 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
113 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
84 1988 Type checking for JavaScript C Anderson, P Giannini
Electronic Notes in Theoretical Computer Science 138 (2), 37-58, 2005
50 2005 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 Type inference: some results, some problems P Giannini, F Honsell, SRD Rocca
Fundamenta Informaticae 19 (1-2), 87-125, 1993
42 1993 Effectively given domains and lambda-calculus models P Giannini, G Longo
Information and Control 62 (1), 36-63, 1984
36 1984 Principal types and unification for simple intersection type systems M Coppo, P Giannini
Information and Computation 122 (1), 70-96, 1995
29 1995 A decidable intersection type system based on relevance F Damiani, P Giannini
International Symposium on Theoretical Aspects of Computer Software, 707-725, 1994
28 1994 IDL: The Language and Its Implementation JR Nestor, JM Newcomer, P Giannini, DL Stone
Prentice-Hall, Inc., 1990
28 1990 Refined Effects for Unanticipated Object Re-classification: F Damiani, S Drossopoulou, P Giannini
Italian Conference on Theoretical Computer Science, 97-110, 2003
25 2003 Refinement types for program analysis M Coppo, F Damiani, P Giannini
International Static Analysis Symposium, 143-158, 1996
25 1996 A type safe state abstraction for coordination in Java -like languages F Damiani, E Giachino, P Giannini, S Drossopoulou
Acta Informatica 45 (7-8), 479-536, 2008
22 2008 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
22 2000 A type system for required/excluded elements in CLS M Dezani-Ciancaglini, P Giannini, A Troina
arXiv preprint arXiv:0911.2323, 2009
20 2009 Safe Ambients: Abstract machine and distributed implementation P Giannini, D Sangiorgi, A Valente
Science of Computer Programming 59 (3), 209-249, 2006
20 2006 Strictness, totality, and non-standard-type inference M Coppo, F Damiani, P Giannini
Theoretical Computer Science 272 (1-2), 69-112, 2002
20 2002 A filter model for mobile processes F Damiani, M Dezani-Ciancaglini, P Giannini
Mathematical Structures in Computer Science 9 (1), 63-101, 1999
19 1999 A type system for a stochastic CLS M Dezani-Ciancaglini, P Giannini, A Troina
arXiv preprint arXiv:0911.4985, 2009
17 2009 
Ferruccio DamianiAssociate Professor of Compurer Science, University of TorinoVahvistettu sähköpostiosoite verkkotunnuksessa di.unito.it
