Get started
Author

Giuseppe Castagna

CDuce
2003 · Véronique Benzaken, Giuseppe Castagna, et al. · ACM SIGPLAN International Conference on Functional Programming (ICFP) · 298
A theory of contracts for Web services
2009 · Giuseppe Castagna, Nils Gesbert, et al. · ACM Transactions on Programming Languages and Systems · 206
PDF
On Binary Methods
1995 · Kim Bruce, Luca Cardelli, et al. · Theory and Practice of Object Systems · 197
Seal: A Framework for Secure Mobile Computations
1999 · Jan Vitek, Giuseppe Castagna · Lecture notes in computer science · 178
Covariance and contravariance
1995 · Giuseppe Castagna · ACM Transactions on Programming Languages and Systems · 171
PDF
Semantic subtyping
2008 · Alain Frisch, Giuseppe Castagna, et al. · Journal of the ACM · 142
Boxed Ambients
2001 · Michele Bugliesi, Giuseppe Castagna, et al. · Lecture notes in computer science · 121
Behavioral Types in Programming Languages
2016 · Yoshida, Nobuko, Vasconcelos, Vasco T., et al. · Archivio istituzionale della ricerca (Alma Mater Studiorum Università di Bologna) · 109
PDF
A Calculus for Overloaded Functions with Subtyping
1995 · G. Castagna, G. Ghelli, et al. · Information and Computation · 109
On Global Types and Multi-Party Session
2012 · Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, et al. · Logical Methods in Computer Science · 105
PDF
Semantic subtyping
2003 · A. Frisch, G. Castagna, et al. · ACM/IEEE Symposium on Logic in Computer Science (LICS) · 97
A Formal Account of Contracts for Web Services
2006 · S. Carpineti, G. Castagna, et al. · Lecture notes in computer science · 95
Object-Oriented Programming A Unified Foundation
1997 · Giuseppe Castagna · Birkhäuser Boston eBooks · 94
Access control for mobile agents
2004 · Michele Bugliesi, Giuseppe Castagna, et al. · ACM Transactions on Programming Languages and Systems · 88
PDF
Foundations of session types
2009 · Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, et al. · International Symposium on Principles and Practice of Declarative Programming (PPDP) · 83
A theory of contracts for web services
2008 · Giuseppe Castagna, Nils Gesbert, et al. · ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) · 82
The Seal Calculus
2005 · G. Castagna, J. Vitek, et al. · Information and Computation · 80
PDF
Behavioral Types in Programming Languages
2016 · Davide Ancona, Viviana Bono, et al. · Foundations and Trends® in Programming Languages · 69
A gentle introduction to semantic subtyping
2005 · Giuseppe Castagna, Alain Frisch · International Symposium on Principles and Practice of Declarative Programming (PPDP) · 69
Parasitic methods
1997 · John Boyland, Giuseppe Castagna · Conference on Object-Oriented Programming Systems, Languages, and Applications · 68
A calculus for overloaded functions with subtyping
1992 · Giuseppe Castagna, Giorgio Ghelli, et al. · ACM Conference on LISP and Functional Programming (LFP) · 61
A Graphical Representation for Biological Processes in the Stochastic pi-Calculus
2006 · Andrew Phillips, Luca Cardelli, et al. · Lecture notes in computer science · 60
Secure safe ambients
2001 · Michele Bugliesi, Giuseppe Castagna · ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) · 60
Contracts for Mobile Processes
2009 · Giuseppe Castagna, Luca Padovani · Lecture notes in computer science · 55
Proceedings of the 27th European conference on Object-Oriented Programming
2013 · Giuseppe Castagna · 53
Works count: 198
Citation count: 3,975
H-index: 36
I10-index: 65
Year
Topic
Type