| A calculus of module systems D Ancona, E Zucca Journal of functional programming 12 (2), 91-132, 2002 | 137 | 2002 |
| Jam-a smooth extension of java with mixins D Ancona, G Lagorio, E Zucca European Conference on Object-Oriented Programming, 154-178, 2000 | 132 | 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 | 82 | 1998 |
| D-oids: a model for dynamic data-types E Astesiano, E Zucca Mathematical Structures in Computer Science 5 (2), 257-282, 1995 | 82 | 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 | 77 | 2005 |
| A primitive calculus for module systems D Ancona, E Zucca International Conference on Principles and Practice of Declarative …, 1999 | 70 | 1999 |
| True modules for Java-like languages D Ancona, E Zucca European Conference on Object-Oriented Programming, 354-380, 2001 | 68 | 2001 |
| Parametric channels via Label Expressions in CCS E Astesiano, E Zucca Theoretical Computer Science 33 (1), 45-63, 1984 | 45 | 1984 |
| Principal typings for Java-like languages D Ancona, E Zucca Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of …, 2004 | 37 | 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 | 35 | 1996 |
| True separate compilation of Java classes D Ancona, G Lagorio, E Zucca Proceedings of the 4th ACM SIGPLAN international conference on Principles …, 2002 | 33 | 2002 |
| Generalizing inference systems by coaxioms D Ancona, F Dagnino, E Zucca Programming Languages and Systems: 26th European Symposium on Programming …, 2017 | 31 | 2017 |
| Is solidity solid enough? S Crafa, M Di Pirro, E Zucca Financial Cryptography and Data Security: FC 2019 International Workshops …, 2020 | 30 | 2020 |
| Mixin modules and computational effects D Ancona, S Fagorzi, E Moggi, E Zucca Automata, Languages and Programming: 30th International Colloquium, ICALP …, 2003 | 29 | 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 |
| A semantic model for dynamic systems E Astesiano, E Zucca Modelling Database Dynamics: Selected Papers from the Fourth International …, 1993 | 29 | 1993 |
| Corecursive featherweight java D Ancona, E Zucca Proceedings of the 14th Workshop on Formal Techniques for Java-like Programs …, 2012 | 26 | 2012 |
| An algebra of mixin modules D Ancona, E Zucca International Workshop on Algebraic Development Techniques, 92-106, 1997 | 25 | 1997 |
Davide AnconaGenovaVerified email at unige.it
