Castagna, Giuseppe, 1966-....
Castagna, Giuseppe
VIAF ID: 115351793 ( Personal )
Permalink: http://viaf.org/viaf/115351793
Preferred Forms
- 200 _ | ‡a Castagna ‡b Giuseppe ‡f 1966-....
-
- 100 1 _ ‡a Castagna, Giuseppe
-
- 100 1 _ ‡a Castagna, Giuseppe ‡d 1966-
- 100 1 0 ‡a Castagna, Giuseppe, ‡d 1966-
-
-
-
- 100 1 _ ‡a Castagna, Giuseppe, ‡d 1966-....
4xx's: Alternate Name Forms (1)
5xx's: Related Names (2)
Works
Title | Sources |
---|---|
Calculs types pour la sécurité dans des systèmes répartis avec mobilité | |
Commitment and confinement for the Seal calculus | |
ESOP 2009 | |
ETAPS 2009 | |
De la sémantique des processus d'ordre supérieur | |
Language of combinators for XML : conception, typing and implementation. | |
Object-oriented programming | |
On the semantics of higher-order processes. | |
Parametric polymorphism for XML processing languages. | |
Polymorphic set-theoretic types for functional languages | |
Polymorphisme paramétrique pour le traitement de documents XML | |
POPL' 17 : Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages : January 15-21, 2017, Paris, France | |
Programming languages and systems 18th European Symposium on Programming, ESOP 2009, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, proceedings | |
SOUS-TYPAGE, CONVERSION DE TYPES ET ELIMINATION DE LA TRANSITIVITE | |
Surcharge, sous-typage et liaison tardive : fondements fonctionnels de la programmation orientée objets | |
Un système de types pragmatique pour la vérification déductive des programmes | |
Théorie, conception et réalisation d'un langage de programmation adapté à XML | |
Theory, design and implementation of a functional language adapted to XML. | |
Towards a calculus of secure mobile computations | |
Typed calculi for security in distributed systems with mobility. | |
Types graduels ensemblistes. | |
Types session : fondations sémantiques et applications orientées objets. | |
Types union, intersection, et dépendants dans le lambda-calcul explicitement typé |