Follow
Luigi Liquori
Title
Cited by
Cited by
Year
Pure patterns type systems
G Barthe, H Cirstea, C Kirchner, L Liquori
ACM SIGPLAN Notices 38 (1), 250-261, 2003
1062003
The rho cube
H Cirstea, C Kirchner, L Liquori
International Conference on Foundations of Software Science and Computationá…, 2001
832001
Matching power
H Cirstea, C Kirchner, L Liquori
International Conference on Rewriting Techniques and Applications, 77-92, 2001
752001
FeatherTrait: A modest extension of Featherweight Java
L Liquori, A Spiwack
ACM Transactions on Programming Languages and Systems (TOPLAS) 30 (2), 1-32, 2008
732008
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
622003
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
602003
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
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
541998
Intersection-types Ó la Church
L Liquori, SR Della Rocca
Information and Computation 205 (9), 1371-1386, 2007
492007
Rewriting calculus with (out) types
H Cirstea, C Kirchner, L Liquori
Electronic Notes in Theoretical Computer Science 71, 3-19, 2004
452004
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
421997
An extended theory of primitive objects: First order system
L Liquori
ECOOP'97—Object-Oriented Programming: 11th European Conference Jyvńskylńá…, 1997
401997
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
302010
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
301997
A lambda calculus of incomplete objects
V Bono, M Bugliesi, L Liquori
Mathematical Foundations of Computer Science 1996: 21st Internationalá…, 1996
291996
A typed lambda calculus of objects
L Liquori, G Castagna
Annual Asian Computing Science Conference, 129-141, 1996
261996
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
252013
A framework for defining logical frameworks
F Honsell, M Lenisa, L Liquori
Electronic Notes in Theoretical Computer Science 172, 399-436, 2007
242007
A Subtyping for extensible, incomplete objects
V Bono, M Bugliesi, M Dezani-Ciancaglini, L Liquori
Fundamenta Informaticae 38 (4), 325-364, 1999
231999
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
212011
The system can't perform the operation now. Try again later.
Articles 1–20