СТ |
Principal Typings for Java-like Languages |
2004 |
Ancona D., Zucca E. |
|
|
|
POPL 2004 |
09.06.2004 |
СТ |
A Formal Framework for Java Separate Compilation |
2002 |
Ancona D., Lagorio G., Zucca E. |
|
|
|
Lecture Notes in Computer Science |
17.07.2002 |
СТ |
True Modules for Java-like Languages |
2001 |
Ancona D., Zucca E. |
|
|
|
Lecture Notes in Computer Science |
14.07.2001 |
СТ |
Extending Casl by Late Binding |
2000 |
Ancona D., Cerioli M., Zucca E. |
|
|
|
Lecture Notes in Computer Science |
13.10.2000 |
СТ |
Jam - A Smooth Extension of Java with Mixins |
2000 |
Ancona D., Lagorio G., Zucca E. |
|
|
|
Lecture Notes in Computer Science |
20.07.2000 |
СТ |
A Formal Framework with Late Binding |
1999 |
Ancona D., Cerioli M., Zucca E. |
|
|
|
Lecture Notes in Computer Science |
06.04.1999 |
СТ |
An Algebra of Mixin Modules |
1998 |
Ancona D., Zucca E. |
|
|
|
Lecture Notes in Computer Science |
07.05.1998 |
СТ |
Overriding Operators in a Mixin-Based Framework |
1997 |
Ancona D., Zucca E. |
|
|
|
Lecture Notes in Computer Science |
05.09.1997 |
СТ |
From Static to Dynamic Abstract Data-Types |
1996 |
Zucca E. |
Lecture Notes in Computer Science |
|
|
Mathematical Foundations of Computer Science 1996 |
11.10.1996 |
СТ |
Implementation of Data Structures in an Imperative Framework |
1995 |
Zucca E. |
|
|
|
Lecture Notes in Computer Science |
24.05.1995 |
СТ |
Stores as Homomorphisms and Their Transformations |
1993 |
Astesiano E., Reggio G., Zucca E. |
|
|
|
Lecture Notes in Computer Science |
20.10.1993 |