Giuseppe Castagna
Giuseppe Castagna
Directeur de Recherche CNRS, Université de Paris
Verified email at univ-paris-diderot.fr - Homepage
Title
Cited by
Cited by
Year
CDuce: an XML-centric general-purpose language
V Benzaken, G Castagna, A Frisch
ACM SIGPLAN Notices 38 (9), 51-63, 2003
3932003
Covariance and contravariance: conflict without a cause
G Castagna
ACM Transactions on Programming Languages and Systems (TOPLAS) 17 (3), 431-447, 1995
3041995
Seal: A framework for secure mobile computations
J Vitek, G Castagna
International Conference on Computer Languages, 47-77, 1998
2641998
Foundations of object-oriented languages: types and semantics
KB Bruce
MIT press, 2002
2402002
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
2061995
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
1932009
Object-oriented programming
G Castagna
Object-Oriented Programming A Unified Foundation, 79-111, 1997
193*1997
Object-Oriented Programming A Unified Foundation
G Castagna
Springer Science & Business Media, 2012
1922012
Object oriented programming: a unified foundation
G Castagna
Birkhauser, 1997
192*1997
The Hopkins Objects Group, Gary T. Leavens, and Benjamin Pierce. On binary methods
K Bruce, L Cardelli, G Castagna
Theory and Practice of Object Systems 1 (3), 221-242, 1995
1921995
Boxed ambients
M Bugliesi, G Castagna, S Crafa
International Symposium on Theoretical Aspects of Computer Software, 38-63, 2001
1832001
A calculus for overloaded functions with subtyping
G Castagna, G Ghelli, G Longo
Information and Computation 117 (1), 115-135, 1995
1471995
A calculus for overloaded functions with subtyping
G Castagna, G Ghelli, G Longo
Information and Computation 117 (1), 115-135, 1995
1471995
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
1342008
A theory of contracts for web services
G Castagna, N Gesbert, L Padovani
ACM SIGPLAN Notices 43 (1), 261-272, 2008
1342008
A calculus for overloaded functions with subtyping
G Castagna, G Ghelli, G Longo
ACM SIGPLAN Lisp Pointers, 182-192, 1992
1211992
A calculus for overloaded functions with subtyping
G Castagna, G Ghelli, G Longo
1992 ACM conference on LISP and functional programming, 182-192, 1992
1211992
Semantic subtyping: challenges, perspectives, and open problems
G Castagna
Italian Conference on Theoretical Computer Science, 1-20, 2005
118*2005
The seal calculus
G Castagna, J Vitek, FZ Nardelli
Information and Computation 201 (1), 1-54, 2005
1182005
The seal calculus
G Castagna, J Vitek, FZ Nardelli
Information and Computation 201 (1), 1-54, 2005
1182005
The system can't perform the operation now. Try again later.
Articles 1–20