Segui
Giuseppe Castagna
Giuseppe Castagna
Directeur de Recherche CNRS, Université Paris Cité
Email verificata su irif.fr - Home page
Titolo
Citata da
Citata da
Anno
CDuce: an XML-centric general-purpose language
V Benzaken, G Castagna, A Frisch
ACM SIGPLAN Notices 38 (9), 51-63, 2003
4412003
On Binary Methods
K Bruce, L Cardelli, G Castagna, J Eifrig, SF Smith, V Trifonov, ...
Theory and Practice of Object Systems 1 (3), 221-242, 1995
3541995
Covariance and contravariance: conflict without a cause
G Castagna
ACM Transactions on Programming Languages and Systems (TOPLAS) 17 (3), 431-447, 1995
3171995
Seal: A framework for secure mobile computations
J Vitek, G Castagna
International Conference on Computer Languages, 47-77, 1998
2741998
A theory of contracts for web services
G Castagna, N Gesbert, L Padovani
ACM Transactions on Programming Languages and Systems (TOPLAS) 31 (5), 1-61, 2009
2272009
Object oriented programming: a unified foundation
G Castagna
Birkhauser, 1997
215*1997
Behavioral types in programming languages
D Ancona, V Bono, M Bravetti, J Campos, G Castagna, PM Deniélou, ...
Foundations and Trends® in Programming Languages 3 (2-3), 95-230, 2016
2012016
Boxed ambients
M Bugliesi, G Castagna, S Crafa
International Symposium on Theoretical Aspects of Computer Software, 38-63, 2001
1962001
Semantic subtyping: Dealing set-theoretically with function, union, intersection, and negation types
A Frisch, G Castagna, V Benzaken
Journal of the ACM (JACM) 55 (4), 1-64, 2008
1882008
On global types and multi-party session
G Castagna, M Dezani-Ciancaglini, L Padovani
Logical Methods in Computer Science 8 (1), 2012
1642012
A calculus for overloaded functions with subtyping
G Castagna, G Ghelli, G Longo
Information and Computation 117 (1), 115-135, 1995
1591995
A theory of contracts for web services
G Castagna, N Gesbert, L Padovani
ACM SIGPLAN Notices 43 (1), 261-272, 2008
1472008
Semantic subtyping
A Frisch, G Castagna, V Benzaken
Proceedings 17th Annual IEEE Symposium on Logic in Computer Science, 137-146, 2002
1402002
A calculus for overloaded functions with subtyping
G Castagna, G Ghelli, G Longo
1992 ACM conference on LISP and functional programming, 182-192, 1992
1361992
The seal calculus
G Castagna, J Vitek, FZ Nardelli
Information and Computation 201 (1), 1-54, 2005
132*2005
A formal account of contracts for web services
S Carpineti, G Castagna, C Laneve, L Padovani
Web Services and Formal Methods: Third International Workshop, WS-FM 2006 …, 2006
1232006
Access control for mobile agents: The calculus of boxed ambients
M Bugliesi, G Castagna, S Crafa
ACM Transactions on Programming Languages and Systems (TOPLAS) 26 (1), 57-124, 2004
1212004
Parasitic methods: An implementation of multi-methods for Java
J Boyland, G Castagna
ACM SIGPLAN Notices 32 (10), 66-76, 1997
1181997
Foundations of session types
G Castagna, M Dezani-Ciancaglini, E Giachino, L Padovani
Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of …, 2009
1082009
A graphical representation for biological processes in the stochastic pi-calculus
A Phillips, L Cardelli, G Castagna
Lecture Notes in Computer Science 4230, 123-152, 2006
1032006
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20