Luigi Liquori
TitleCited byYear
Pure patterns type systems
G Barthe, H Cirstea, C Kirchner, L Liquori
ACM SIGPLAN Notices 38 (1), 250-261, 2003
992003
The rho cube
H Cirstea, C Kirchner, L Liquori
International Conference on Foundations of Software Science and Computationá…, 2001
812001
Matching power
H Cirstea, C Kirchner, L Liquori
International Conference on Rewriting Techniques and Applications, 77-92, 2001
682001
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
632003
FeatherTrait: A modest extension of Featherweight Java
L Liquori, A Spiwack
ACM Transactions on Programming Languages and Systems (TOPLAS) 30 (2), 11, 2008
612008
A subtyping for the Fisher-Honsell-Mitchell lambda calculus of objects
V Bono, L Liquori
International Workshop on Computer Science Logic, 16-30, 1994
591994
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
532003
A lambda calculus of objects with self-inflicted extension
P Di Gianantonio, F Honsell, L Liquori
ACM SIGPLAN Notices 33 (10), 166-178, 1998
461998
Rewriting calculus with (out) types
H Cirstea, C Kirchner, L Liquori
Electronic Notes in Theoretical Computer Science 71, 3-19, 2004
422004
Subtyping constraints for incomplete objects
V Bono, M Bugliesi, M Dezani-Ciancaglini, L Liquori
Colloquium on Trees in Algebra and Programming, 465-477, 1997
401997
Intersection-types Ó la Church
L Liquori, SR Della Rocca
Information and Computation 205 (9), 1371-1386, 2007
392007
An extended theory of primitive objects: First order system
L Liquori
European Conference on Object-Oriented Programming, 146-169, 1997
391997
A lambda calculus of incomplete objects
V Bono, M Bugliesi, L Liquori
International Symposium on Mathematical Foundations of Computer Science, 218-229, 1996
301996
Synapse: A scalable protocol for interconnecting heterogeneous overlay networks
L Liquori, C Tedeschi, L Vanni, F Bongiovanni, V Ciancaglini, ...
International Conference on Research in Networking, 67-82, 2010
282010
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
271997
A Subtyping for extensible, incomplete objects
V Bono, M Bugliesi, M Dezani-Ciancaglini, L Liquori
Fundamenta Informaticae 38 (4), 325-364, 1999
251999
A typed lambda calculus of objects
L Liquori, G Castagna
Annual Asian Computing Science Conference, 129-141, 1996
241996
A framework for defining logical frameworks
F Honsell, M Lenisa, L Liquori
Electronic Notes in Theoretical Computer Science 172, 399-436, 2007
232007
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
222013
Babelchord: a social tower of dht-based overlay networks
L Liquori, C Tedeschi, F Bongiovanni
2009 IEEE Symposium on Computers and Communications, 307-312, 2009
192009
The system can't perform the operation now. Try again later.
Articles 1–20