Follow
Elena Zucca
Title
Cited by
Cited by
Year
A calculus of module systems
D Ancona, E Zucca
Journal of functional programming 12 (2), 91-132, 2002
1392002
Jam-a smooth extension of java with mixins
D Ancona, G Lagorio, E Zucca
European Conference on Object-Oriented Programming, 154-178, 2000
1282000
Jam---designing a Java extension with mixins
D Ancona, G Lagorio, E Zucca
ACM Transactions on Programming Languages and Systems (TOPLAS) 25 (5), 641-712, 2003
942003
A theory of mixin modules: Basic and derived operators
D Ancona, E Zucca
Mathematical structures in computer science 8 (4), 401-446, 1998
831998
D-oids: a model for dynamic data-types
E Astesiano, E Zucca
Mathematical Structures in Computer Science 5 (2), 257-282, 1995
831995
Polymorphic bytecode: Compositional compilation for Java-like languages
D Ancona, F Damiani, S Drossopoulou, E Zucca
Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of …, 2005
762005
A primitive calculus for module systems
D Ancona, E Zucca
International Conference on Principles and Practice of Declarative …, 1999
711999
True modules for Java-like languages
D Ancona, E Zucca
European Conference on Object-Oriented Programming, 354-380, 2001
682001
Is solidity solid enough?
S Crafa, M Di Pirro, E Zucca
Financial Cryptography and Data Security: FC 2019 International Workshops …, 2020
482020
Parametric channels via Label Expressions in CCS
E Astesiano, E Zucca
Theoretical Computer Science 33 (1), 45-63, 1984
441984
Principal typings for Java-like languages
D Ancona, E Zucca
Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of …, 2004
382004
Featherweight jigsaw: A minimal core calculus for modular composition of classes
G Lagorio, M Servetto, E Zucca
ECOOP 2009–Object-Oriented Programming: 23rd European Conference, Genoa …, 2009
362009
An algebraic approach to mixins and modularity
D Ancona, E Zucca
Algebraic and Logic Programming: 5th International Conference, ALP'96 Aachen …, 1996
361996
Generalizing inference systems by coaxioms
D Ancona, F Dagnino, E Zucca
Programming Languages and Systems: 26th European Symposium on Programming …, 2017
342017
True separate compilation of Java classes
D Ancona, G Lagorio, E Zucca
Proceedings of the 4th ACM SIGPLAN international conference on Principles …, 2002
322002
Mixin modules and computational effects
D Ancona, S Fagorzi, E Moggi, E Zucca
Automata, Languages and Programming: 30th International Colloquium, ICALP …, 2003
302003
A core calculus for Java exceptions
D Ancona, G Lagorio, E Zucca
Proceedings of the 16th ACM SIGPLAN conference on Object-oriented …, 2001
292001
Corecursive featherweight java
D Ancona, E Zucca
Proceedings of the 14th Workshop on Formal Techniques for Java-like Programs …, 2012
272012
A semantic model for dynamic systems
E Astesiano, E Zucca
Modelling Database Dynamics: Selected Papers from the Fourth International …, 1993
271993
From static to dynamic abstract data-types
E Zucca
International Symposium on Mathematical Foundations of Computer Science, 579-590, 1996
251996
The system can't perform the operation now. Try again later.
Articles 1–20