Searching for authors named "Giuseppe Castagna" – sorted by Relevance.
35 documents found, showing 1 through 10.
Next 10 →
-
Coviarance and Contravariance : Conflict without a Cause
- …Coviarance and Contravariance : Conflict without a Cause Giuseppe CASTAGNA Laboratoire d…
- Add To MetaCart
-
Sous-Typage Et Programmation Orientée à Objets
- … programmation Giuseppe Castagna CNRS Laboratoire d'Informatique de l' ' Ecole Normale Sup'erieure email…
- Add To MetaCart
-
Integration of Parametric and "ad Hoc" Second Order Polymorphism in a Calculus With Subtyping
- …" second order polymorphism in a calculus with subtyping 1 Giuseppe Castagna 2 C.N.R.S. Laboratoire d…
- Add To MetaCart
-
Dependent Types With Subtyping and Late-Bound Overloading
- … with subtyping and late-bound overloading GIUSEPPE CASTAGNA C.N.R.S. LIENS, Ecole Normale Superieure 45 rue d…
- Cited by 2 (0 self) – Add To MetaCart
-
Instance Variables Specialization in Object-Oriented Programming
- …Instance variables specialization in object-oriented programming Giuseppe Castagna CNRS LIENS…
- Cited by 1 (0 self) – Add To MetaCart
-
Unifying overloading and λ-abstraction: λ{}
- …Note Unifying overloading and l-abstraction: l fg Giuseppe Castagna Abstract In this short note…
- Cited by 2 (0 self) – Add To MetaCart
-
A Meta-Language for Typed Object-Oriented Languages
- …A meta-language for typed object-oriented languages Giuseppe Castagna C.N.R.S. LIENS, 45 rue d…
- Cited by 16 (4 self) – Add To MetaCart
-
Covariance and contravariance: Conflict without a cause
- …Covariance and Contravariance: Conflict without a Cause GIUSEPPE CASTAGNA C. N.R.S. In type…
- Cited by 117 (9 self) – Add To MetaCart
-
Typed Iterators for XML
- …Giuseppe Castagna PPS (CNRS) - Université Paris 7 - Paris, France Abstract. XML transformations…
- Add To MetaCart
-
Secure Safe Ambients and JVM Security (Abstract)
- … Universita Ca' Foscari di Venezia michele@(email omitted); http://www.dsi.unive.it/ michele Giuseppe Castagna…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
