СТ |
Information Flow Security for XML Transformations |
2003 |
Benzaken V., Burelle M., Castagna G. |
|
|
|
Lecture Notes in Computer Science |
14.01.2004 |
СТ |
Seal: A Framework for Secure Mobile Computations |
1999 |
Vitek J., Castagna G. |
|
|
|
Lecture Notes in Computer Science |
05.11.1999 |
СТ |
Parasitic Methods: An Implementation of Multi-Methods for Java |
1997 |
Boyland J., Castagna G. |
|
|
|
SIGPLAN Notices |
23.01.1998 |
СТ |
Type-Safe Compilation of Covariant Specialization: A Practical Case |
1996 |
Boyland J., Castagna G. |
Lecture Notes in Computer Science |
|
|
ECOOP 96 - Object-Oriented Programming |
04.10.1996 |
СТ |
A Meta-Language for Typed Object-Oriented Languages |
1993 |
Castagna G. |
|
|
|
Lecture Notes in Computer Science |
20.01.1994 |