| A calculus of module systems D Ancona, E Zucca Journal of functional programming 12 (2), 91-132, 2002 | 139 | 2002 |
| Jam-a smooth extension of java with mixins D Ancona, G Lagorio, E Zucca European Conference on Object-Oriented Programming, 154-178, 2000 | 128 | 2000 |
| 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 | 94 | 2003 |
| A theory of mixin modules: Basic and derived operators D Ancona, E Zucca Mathematical structures in computer science 8 (4), 401-446, 1998 | 83 | 1998 |
| D-oids: a model for dynamic data-types E Astesiano, E Zucca Mathematical Structures in Computer Science 5 (2), 257-282, 1995 | 83 | 1995 |
| 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 | 76 | 2005 |
| A primitive calculus for module systems D Ancona, E Zucca International Conference on Principles and Practice of Declarative …, 1999 | 71 | 1999 |
| True modules for Java-like languages D Ancona, E Zucca European Conference on Object-Oriented Programming, 354-380, 2001 | 68 | 2001 |
| Is solidity solid enough? S Crafa, M Di Pirro, E Zucca Financial Cryptography and Data Security: FC 2019 International Workshops …, 2020 | 48 | 2020 |
| Parametric channels via Label Expressions in CCS E Astesiano, E Zucca Theoretical Computer Science 33 (1), 45-63, 1984 | 44 | 1984 |
| Principal typings for Java-like languages D Ancona, E Zucca Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of …, 2004 | 38 | 2004 |
| 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 | 36 | 2009 |
| An algebraic approach to mixins and modularity D Ancona, E Zucca Algebraic and Logic Programming: 5th International Conference, ALP'96 Aachen …, 1996 | 36 | 1996 |
| Generalizing inference systems by coaxioms D Ancona, F Dagnino, E Zucca Programming Languages and Systems: 26th European Symposium on Programming …, 2017 | 34 | 2017 |
| True separate compilation of Java classes D Ancona, G Lagorio, E Zucca Proceedings of the 4th ACM SIGPLAN international conference on Principles …, 2002 | 32 | 2002 |
| Mixin modules and computational effects D Ancona, S Fagorzi, E Moggi, E Zucca Automata, Languages and Programming: 30th International Colloquium, ICALP …, 2003 | 30 | 2003 |
| A core calculus for Java exceptions D Ancona, G Lagorio, E Zucca Proceedings of the 16th ACM SIGPLAN conference on Object-oriented …, 2001 | 29 | 2001 |
| Corecursive featherweight java D Ancona, E Zucca Proceedings of the 14th Workshop on Formal Techniques for Java-like Programs …, 2012 | 27 | 2012 |
| A semantic model for dynamic systems E Astesiano, E Zucca Modelling Database Dynamics: Selected Papers from the Fourth International …, 1993 | 27 | 1993 |
| From static to dynamic abstract data-types E Zucca International Symposium on Mathematical Foundations of Computer Science, 579-590, 1996 | 25 | 1996 |
Davide AnconaGenovaVerified email at unige.it
