Pure patterns type systems G Barthe, H Cirstea, C Kirchner, L Liquori ACM SIGPLAN Notices 38 (1), 250-261, 2003 | 106 | 2003 |
The rho cube H Cirstea, C Kirchner, L Liquori International Conference on Foundations of Software Science and Computation …, 2001 | 82 | 2001 |
Matching power H Cirstea, C Kirchner, L Liquori International Conference on Rewriting Techniques and Applications, 77-92, 2001 | 75 | 2001 |
FeatherTrait: A modest extension of Featherweight Java L Liquori, A Spiwack ACM Transactions on Programming Languages and Systems (TOPLAS) 30 (2), 1-32, 2008 | 71 | 2008 |
Rewrite strategies in the rewriting calculus H Cirstea, C Kirchner, L Liquori, B Wack Electronic Notes in Theoretical Computer Science 86 (4), 593-624, 2003 | 61 | 2003 |
Rewriting calculus with fixpoints: Untyped and first-order systems H Cirstea, L Liquori, B Wack International Workshop on Types for Proofs and Programs, 147-161, 2003 | 60 | 2003 |
A subtyping for the Fisher-Honsell-Mitchell lambda calculus of objects V Bono, L Liquori International Workshop on Computer Science Logic, 16-30, 1994 | 59 | 1994 |
A lambda calculus of objects with self-inflicted extension P Di Gianantonio, F Honsell, L Liquori Proceedings of the 13th ACM SIGPLAN conference on Object-oriented …, 1998 | 54 | 1998 |
Intersection-types à la Church L Liquori, SR Della Rocca Information and Computation 205 (9), 1371-1386, 2007 | 47 | 2007 |
Rewriting calculus with (out) types H Cirstea, C Kirchner, L Liquori Electronic Notes in Theoretical Computer Science 71, 3-19, 2004 | 45 | 2004 |
Subtyping constraints for incomplete objects V Bono, M Bugliesi, M Dezani-Ciancaglini, L Liquori TAPSOFT'97: Theory and Practice of Software Development: 7th International …, 1997 | 42 | 1997 |
An extended theory of primitive objects: First order system L Liquori ECOOP'97—Object-Oriented Programming: 11th European Conference Jyväskylä …, 1997 | 40 | 1997 |
Synapse: A scalable protocol for interconnecting heterogeneous overlay networks L Liquori, C Tedeschi, L Vanni, F Bongiovanni, V Ciancaglini, ... NETWORKING 2010: 9th International IFIP TC 6 Networking Conference, Chennai …, 2010 | 30 | 2010 |
Comparing cubes of typed and type assignment systems S Van Bakel, L Liquori, SR Della Rocca, P Urzyczyn Annals of Pure and Applied Logic 86 (3), 267-303, 1997 | 30 | 1997 |
A lambda calculus of incomplete objects V Bono, M Bugliesi, L Liquori Mathematical Foundations of Computer Science 1996: 21st International …, 1996 | 29 | 1996 |
A typed lambda calculus of objects L Liquori, G Castagna Annual Asian Computing Science Conference, 129-141, 1996 | 26 | 1996 |
CCN-TV: a data-centric approach to real-time video services V Ciancaglini, G Piro, R Loti, LA Grieco, L Liquori 2013 27th International Conference on Advanced Information Networking and …, 2013 | 25 | 2013 |
A framework for defining logical frameworks F Honsell, M Lenisa, L Liquori Electronic Notes in Theoretical Computer Science 172, 399-436, 2007 | 24 | 2007 |
A Subtyping for extensible, incomplete objects V Bono, M Bugliesi, M Dezani-Ciancaglini, L Liquori Fundamenta Informaticae 38 (4), 325-364, 1999 | 23 | 1999 |
Towards a common architecture to interconnect heterogeneous overlay networks V Ciancaglini, L Liquori, GN Hoang 2011 IEEE 17th International Conference on Parallel and Distributed Systems …, 2011 | 21 | 2011 |