Luigi Liquori
Luigi Liquori
Directeur de Recherche INRIA
Geverifieerd e-mailadres voor inria.fr - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
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
672001
FeatherTrait: A modest extension of Featherweight Java
L Liquori, A Spiwack
ACM Transactions on Programming Languages and Systems (TOPLAS) 30 (2), 1-32, 2008
652008
A subtyping for the Fisher-Honsell-Mitchell lambda calculus of objects
V Bono, L Liquori
International Workshop on Computer Science Logic, 16-30, 1994
581994
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
572003
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
552003
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
471998
Intersection-types Ó la Church
L Liquori, SR Della Rocca
Information and Computation 205 (9), 1371-1386, 2007
442007
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
421997
An extended theory of primitive objects: First order system
L Liquori
European Conference on Object-Oriented Programming, 146-169, 1997
381997
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
312010
A lambda calculus of incomplete objects
V Bono, M Bugliesi, L Liquori
International Symposium on Mathematical Foundations of Computer Science, 218-229, 1996
311996
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
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 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
251996
A framework for defining logical frameworks
F Honsell, M Lenisa, L Liquori
Electronic Notes in Theoretical Computer Science 172, 399-436, 2007
232007
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
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20