Folgen
Luigi Liquori
Titel
Zitiert von
Zitiert von
Jahr
Pure patterns type systems
G Barthe, H Cirstea, C Kirchner, L Liquori
ACM SIGPLAN Notices 38 (1), 250-261, 2003
1082003
The rho cube
H Cirstea, C Kirchner, L Liquori
International Conference on Foundations of Software Science and Computation …, 2001
842001
Matching power
H Cirstea, C Kirchner, L Liquori
International Conference on Rewriting Techniques and Applications, 77-92, 2001
732001
FeatherTrait: A modest extension of Featherweight Java
L Liquori, A Spiwack
ACM Transactions on Programming Languages and Systems (TOPLAS) 30 (2), 1-32, 2008
712008
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
602003
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
592003
A subtyping for the Fisher-Honsell-Mitchell lambda calculus of objects
V Bono, L Liquori
International Workshop on Computer Science Logic, 16-30, 1994
571994
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
442004
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
411997
An extended theory of primitive objects: First order system
L Liquori
ECOOP'97—Object-Oriented Programming: 11th European Conference Jyväskylä …, 1997
401997
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
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
292010
A lambda calculus of incomplete objects
V Bono, M Bugliesi, L Liquori
Mathematical Foundations of Computer Science 1996: 21st International …, 1996
281996
A typed lambda calculus of objects
L Liquori, G Castagna
Annual Asian Computing Science Conference, 129-141, 1996
251996
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
242013
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
202011
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20