Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
[2]
Hilfe
Suche: Author="Castagna, Giuseppe"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Semantic subtyping for the pi-calculus
Giuseppe Castagna
,
Rocco De Nicola
,
Daniele Varacca
Theoretical Computer Science
398
(1-3), 2008, pp. 217-242
Semantic subtyping: Dealing set-theoretically with function, union, intersection, and negation types
Alain Frisch
,
Giuseppe Castagna
,
VĂ©ronique Benzaken
Journal of the ACM
55
(4), 2008, pp. 19: 1-64
A gentle introduction to semantic subtyping
Giuseppe Castagna
,
Alain Frisch
Lecture Notes in Computer Science
3580
, 2005, pp. 30-34
The seal calculus revisited: Contextual equivalence and bisimilarity
Giuseppe Castagna
,
Francesco Zappa Nardelli
Lecture Notes in Computer Science
2556
, 2002, pp. 85-96
Dependent types with subtyping and late-bound overloading
Giuseppe Castagna
,
Gang Chen
Information and Computation
168
(1), 2001, pp. 1-67
Unifying overloading and
\lambda
-abstraction:
\lambda^{\{\}}
Giuseppe Castagna
Theoretical Computer Science
176
(1-2), 1997, pp. 337-345
A calculus for overloaded functions with subtyping
Giuseppe Castagna
,
Giorgio Ghelli
,
Giuseppe Longo
Information and Computation
117
(1), 1995, February, pp. 115-135
A meta-language for typed object-oriented languages
Giuseppe Castagna
Theoretical Computer Science
151
(2), 1995, pp. 297-352
A meta-language for typed object-oriented languages
Giuseppe Castagna
Lecture Notes in Computer Science
761
, 1993, pp. 52-71