Folgen
Giuseppe Castagna
Giuseppe Castagna
Directeur de Recherche CNRS, Université Paris Cité
Bestätigte E-Mail-Adresse bei irif.fr - Startseite
Titel
Zitiert von
Zitiert von
Jahr
CDuce: an XML-centric general-purpose language
V Benzaken, G Castagna, A Frisch
ACM SIGPLAN Notices 38 (9), 51-63, 2003
4402003
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
3521995
Covariance and contravariance: conflict without a cause
G Castagna
ACM Transactions on Programming Languages and Systems (TOPLAS) 17 (3), 431-447, 1995
3201995
Seal: A framework for secure mobile computations
J Vitek, G Castagna
International Conference on Computer Languages, 47-77, 1998
2691998
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
2212009
Object oriented programming: a unified foundation
G Castagna
Birkhauser, 1997
213*1997
Boxed ambients
M Bugliesi, G Castagna, S Crafa
International Symposium on Theoretical Aspects of Computer Software, 38-63, 2001
1962001
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
1902016
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
1842008
A calculus for overloaded functions with subtyping
G Castagna, G Ghelli, G Longo
Information and Computation 117 (1), 115-135, 1995
1591995
On global types and multi-party session
G Castagna, M Dezani-Ciancaglini, L Padovani
Logical Methods in Computer Science 8 (1), 2012
1582012
A theory of contracts for web services
G Castagna, N Gesbert, L Padovani
ACM SIGPLAN Notices 43 (1), 261-272, 2008
1442008
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
Semantic subtyping
A Frisch, G Castagna, V Benzaken
Proceedings 17th Annual IEEE Symposium on Logic in Computer Science, 137-146, 2002
1322002
The seal calculus
G Castagna, J Vitek, FZ Nardelli
Information and Computation 201 (1), 1-54, 2005
131*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
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
1042006
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
1032009
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20