.. La-vieille-et-la-nouvelle-r, egle d'application pour le cadre logique / The Old and the New Rule for the Logical Framework, p.89

L. Liquori and . Spiwack, Extending FeatherTrait Java with Interfaces. http://www-sop.inria.fr/mascotte/Luigi.Liquori/PAPERS/tcs-draft-07.pdf (4) L. Liquori, B. Serpette. iRho: An Imperative Rewriting-calculus
DOI : 10.1016/j.tcs.2008.01.051
URL : https://hal.archives-ouvertes.fr/inria-00432540

M. Honsell, L. Lenisa, . Liquori, ). G. Framework-for-defining-logical-frameworks, H. Barthe et al., Pure Pattern Type Systems. http://www-sop.inria.fr/mascotte/Luigi.Liquori/PAPERS/popl-03.ps.gz (29) H. Cirstea and C. Kirchner and L. Liquori. The Rho Cube, ) L. Liquori. Bounded Polymorphism for Extensible Objects

D. Gianantonio, F. Honsell, and L. Liquori, A Lambda Calculus of Objects with Self- Inflicted Extension http://www-sop.inria.fr/mascotte/Luigi.Liquori/PAPERS/ecoop-98.ps.gz (37) L. Liquori. An Extended Theory of Primitive Objects: First Order System, Liquori/PAPERS/oopsla-98.ps.gz (36) L. Liquori. On Object Extension11) S. van Bakel, L. Liquori, S. Ronchi della Rocca and P. Urzyczyn. Comparing Cubes of Typed and Type Assignment Systems

L. Liquori and . Spiwack, FeatherTrait, ACM Transactions on Programming Languages and Systems, vol.30, issue.2, 2007.
DOI : 10.1145/1330017.1330022
URL : https://hal.archives-ouvertes.fr/inria-00432540

L. Invited, . Liquori, and . Spiwack, Extending FeatherTrait Java with Interfaces, Theoretical Computer Science, vol.25, 2007.

R. Selected, M. Chand, L. Cosnard, and . Liquori, Powerful Resource Discovery for Arigatoni Overlay Network, Future Generation Computer Systems, vol.16, 2007.

L. Liquori and B. Serpette, iRho, Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming , PPDP '04, 2007.
DOI : 10.1145/1013963.1013983
URL : https://hal.archives-ouvertes.fr/hal-01147678

L. Liquori and S. Ronchi-della-rocca, Intersection-TypesàTypesà la Church. Information and Computation, 2007.
URL : https://hal.archives-ouvertes.fr/hal-01148282

F. Invited, M. Honsell, L. Lenisa, and . Liquori, A Framework for Defining Logical Frameworks, In Gordon D. Plotkin Festschrift. Electronic Notes in Theoretical Computer Science, vol.172, pp.399-436, 2007.

A. Ciaffaglione, L. Liquori, and M. Miculan, Reasoning about Object-based Calculi in (Co)Inductive Type Theory and the Theory of Contexts, Journal of Automated Reasoning, vol.87, issue.1, 2007.
DOI : 10.1007/s10817-006-9061-y
URL : https://hal.archives-ouvertes.fr/hal-01148347

P. Lescanne, L. Liquori, and D. Dougherty, Addressed Term Rewriting Systems: Application to a Typed Object Calculus, Mathematical Structures in Computer Science, vol.16, issue.4, pp.667-709, 2006.
URL : https://hal.archives-ouvertes.fr/hal-01148846

M. Bugliesi, G. Delzanno, L. Liquori, and M. Martelli, Object calculi in linear logic, Journal of Logic and Computation, vol.10, issue.1, pp.75-104, 2000.
DOI : 10.1093/logcom/10.1.75
URL : https://hal.archives-ouvertes.fr/hal-01152636

V. Bono, M. Bugliesi, M. Dezani, and L. Liquori, A Subtyping for Extendible, Incomplete Objects, Fundamenta Informaticae, vol.38, issue.4, pp.325-364, 1999.

S. Van-bakel, L. Liquori, S. Ronchi-della-rocca, and P. Urzyczyn, Comparing cubes of typed and type assignment systems, Annals of Pure and Applied Logic, pp.267-303, 1997.
DOI : 10.1016/S0168-0072(96)00036-X
URL : https://hal.archives-ouvertes.fr/hal-01154638

. Note, Les articles publiés Note. I have decided to put 6 " journal-size " papers in this section. The DCM'06, TERdans DCM'06, TERMGRAPH'04, WRLA'04 MGRAPH'04, WRLA'04, and WRS'03 papers et WRS'03 sont publiés en Electronic Notes in are published in Electronic Notes in Computer Computer Science ; ce sont de vrais articles de Science, but they are definitively journal ver«taille» et de «contenu» journal. La conférence sions. ECOOP-97-98 international conference internationale ECOOP-97-98 accepte des veraccepts 25 pages long camera ready; it is desions finales de 25 pages; elle est de facto confacto considered as a journal, sidérée comme un journal. 12. 24% R. Chand, M. Cosnard, L. Liquori. Improving Resource Discovery in the Arigatoni Overlay Network Proc. of ARCS'07: 20th International Conference on Architecture of Computing Systems System Aspects in Pervasive and Organic Computing, pp.98-111, 2007.

4. D. Benza, M. Cosnard, L. Liquori, and M. Vesin, Arigatoni: A Simple Programmable Overlay Network, IEEE John Vincent Atanasoff 2006 International Symposium on Modern Computing (JVA'06), pp.82-91, 2006.
DOI : 10.1109/JVA.2006.7
URL : https://hal.archives-ouvertes.fr/hal-00911632

3. R. Chand, M. Cosnard, and L. Liquori, Resource Discovery in the Arigatoni Overlay Network, Proc. of I2CS'06, International Workshop on Innovative Internet Community Systems, 2007.
URL : https://hal.archives-ouvertes.fr/hal-00910965

5. M. Cosnard, L. Liquori, and R. Chand, Virtual Organizations in Arigatoni, Proc. of DCM'06, 3rd International Workshop on Developments in Computational Models, pp.55-75, 2007.
DOI : 10.1016/j.entcs.2006.11.035
URL : https://hal.archives-ouvertes.fr/hal-00911535

L. Liquori, F. Honsell, and R. Redamalla, A Language for Verification and Manipulation of Web Documents, Proc. of WWV'05, 1st International Workshop on Automated Specification and Verification of Web Sites, pp.67-78, 2006.
DOI : 10.1016/j.entcs.2005.12.046
URL : https://hal.archives-ouvertes.fr/hal-01148880

5. L. Liquori, iRho, Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming , PPDP '04, pp.85-96, 2006.
DOI : 10.1145/1013963.1013983
URL : https://hal.archives-ouvertes.fr/hal-01147678

C. 2. Conférencesconf´conférences, . Et, . Internationaux, . International, . Conferences et al., Towards an Intersection Typed SystemàSystemà la Church, Proc. of ITRS'04, Workshop on Intersection Types and Related Systems. Electronic Notes in Theoretical Computer Science, pp.43-56, 2005.

D. Dougherty, P. Lescanne, L. Liquori, and F. Lang, Addressed Term Rewriting Systems: Syntax, Semantics, and Pragmatics, Proc. of TERMGRAPH'04, 2nd International Workshop on Term Graph Rewriting, pp.57-82, 2005.
DOI : 10.1016/j.entcs.2004.12.042
URL : https://hal.archives-ouvertes.fr/hal-01149607

4. L. Liquori and B. P. Serpette, An Imperative Rewriting Calculus, Proc. of PPDP'04, 6th ACM SIGPLAN Conference on Principle and Practice of Declarative Programming, pp.167-179, 2004.
URL : https://hal.archives-ouvertes.fr/hal-01147678

L. Liquori and B. Wack, The Polymorphic Rewriting-calculus, Proc. of WRLA'04, 6th International Workshop on Rewriting Systems and Applications, pp.89-111, 2005.
DOI : 10.1016/j.entcs.2004.06.027
URL : https://hal.archives-ouvertes.fr/inria-00099910

H. Invited, C. Cirstea, L. Kirchner, B. Liquori, and . Wack, Rewrite Strategies in the Rewriting Calculus, Proc. of WRS'03, 3rd International Workshop on Reduction Strategies in Rewriting and Programming, pp.593-624, 2005.

A. Ciaffaglione, L. Liquori, and M. Miculan, Reasoning on an imperative object-based calculus in Higher Order Abstract Syntax, Proceedings of the 2003 workshop on Mechanized reasoning about languages with variable binding , MERLIN '03, 2003.
DOI : 10.1145/976571.976574
URL : https://hal.archives-ouvertes.fr/hal-01149845

H. Selected, L. Cirstea, and B. Liquori, Wack: Rewriting Calculus with Fixpoints: Untyped and First-Order Systems, Proc. of Types '03, International Workshop on Types for Proof and Programs, pp.147-161, 2003.

4. A. Ciaffaglione, L. Liquori, and M. Miculan, Imperative Object-Based Calculi in Co-inductive Type Theories, Proc. of LPAR'03, 10th International Conference on Logic for Programming Artificial Intelligence and Reasoning, pp.59-77, 2003.
DOI : 10.1007/978-3-540-39813-4_4
URL : https://hal.archives-ouvertes.fr/hal-01149867

3. G. Barthe, H. Cirstea, C. Kirchner, and L. Liquori, Pure Pattern Type Systems, Proc. of POPL'03, 30th Annual ACM SIGPLAN -SIGACT Symposium on Principles of Programming Languages, pp.250-261, 2003.

H. Invited, C. Cirstea, L. Kirchner, and . Liquori, Rewriting Calculus with(out) Types, Proc. of WRLA'02, 4th International Workshop on Rewriting Systems and Applications

H. Cirstea, C. Kirchner, L. Liquori, and B. Wack, The Rho Cube, Proc. of HOR'02, 1th International Workshop on Higher-Order Rewriting, 2002.
DOI : 10.1007/3-540-45315-6_11
URL : https://hal.archives-ouvertes.fr/inria-00107877

3. H. Cirstea, C. Kirchner, and L. Liquori, The Rho Cube, Proc. of FOSSACS'01, 4th International Conference on Foundations of Software Science and Computation Structures, pp.77-92, 2001.
DOI : 10.1007/3-540-45315-6_11
URL : https://hal.archives-ouvertes.fr/inria-00107877

2. H. Cirstea, C. Kirchner, and L. Liquori, Matching Power The Netherlands, Proc. of RTA'01, 12th International Conference on Rewriting Techniques and Applications, pp.168-183, 2001.

F. Lang, P. Lescanne, L. Liquori, D. Dougherty, and K. Rose, A Generic Object-Calculus Based on Addressed Term Rewriting Systems (extended abstract) The Netherlands. Logic Group Preprint series No 210, Proc. of WEST- APP'01, 4th International Workshop on Explicit Substitutions: Theory and Applications to Programs and Proofs, pp.6-25, 2001.

6. D. Colnet and L. Liquori, Match-O, a Statically Safe (?) Dialect of Eiffel, Proc. of IEEE-TOOLS '00, 37th International Conference on Technology of Object-Oriented Languages and Systems, pp.190-201, 2000.

3. F. Lang, P. Lescanne, and L. Liquori, A Framework for Defining Object-Calculi, Proc. of FM'99, World Congress on Formal Methods in the Development of Computing Systems
URL : https://hal.archives-ouvertes.fr/hal-01153772

L. Selected and . Liquori, Bounded Polymorphism for Extensible Objects, Proc. of Types'98, International Workshop on Types for Proof and Programs. Kloster Irsee, pp.149-163, 1999.

1. P. Di-gianantonio, F. Honsell, and L. Liquori, A Lambda Calculus of Objects with Self-Inflicted Extension, Proc. of ACM-SIGPLAN OOPSLA'98, International Symposium on Object Oriented, Programming, System, Languages and Applications, pp.33-166, 1998.
URL : https://hal.archives-ouvertes.fr/hal-01154180

1. L. Liquori, On object extension, Proc. of ECOOP'98, 12th European Conference on Object Oriented Programming, pp.498-552, 1998.
DOI : 10.1007/BFb0054105
URL : https://hal.archives-ouvertes.fr/hal-01154560

1. L. Liquori, An extended Theory of Primitive Objects: First order system, Proc. of ECOOP'97 11th European Conference on Object Oriented Programming, pp.146-167, 1997.
DOI : 10.1007/BFb0053378
URL : https://hal.archives-ouvertes.fr/hal-01154568

3. V. Bono, M. Bugliesi, M. Dezani, and L. Liquori, Subtyping constraints for incomplete objects, Proc. of TAPSOFT'97, 7th International Joint Conference CAAP/FASE on Theory and Practice of Software Development, pp.465-477, 1997.
DOI : 10.1007/BFb0030619
URL : https://hal.archives-ouvertes.fr/hal-01154622

1. L. Liquori and G. Castagna, A typed Lambda Calculus of Objects, Proc. of ASIAN'96, 2nd International Conference on Concurrency and Parallelism, Programming, Networking, and Security, pp.129-141, 1996.
DOI : 10.1007/BFb0027786
URL : https://hal.archives-ouvertes.fr/hal-01156547

2. M. Bugliesi, G. Delzanno, L. Liquori, and M. Martelli, A Linear Logic Calculus of Objects, Proc. of JICSLP'96, Joint International Conference and Symposium on Logic Programming, pp.79-94, 1996.
URL : https://hal.archives-ouvertes.fr/hal-01156598

3. V. Bono, M. Bugliesi, and L. Liquori, A Lambda Calculus of incomplete objects, Proc. of MFCS'96, 21st International Symposium of Mathematical Foundation of Computer Science, pp.218-229, 1996.
DOI : 10.1007/3-540-61550-4_150
URL : https://hal.archives-ouvertes.fr/hal-01156555

C. 3. Conférencesconf´conférences, . Et, . Nationaux, . V. National, L. Bono et al., A Subtyping for the Fisher-Honsell-Mitchell Lambda Calculus of Objects, Proc. of CSL'94, 8th International Conference of Computer Science Logic, pp.16-30, 1995.

S. Van-bakel, L. Liquori, S. Ronchi-della-rocca, and P. Urzyczyn, Comparing cubes, Proc. of LFCS'94. 3rd International Symposium on Logical Foundations of Computer Science, pp.353-365, 1994.
DOI : 10.1007/3-540-58140-5_33
URL : https://hal.archives-ouvertes.fr/hal-01157211

L. Liquori and M. L. Sapino, Dealing with Explicit Exceptions, Proc. of Joint Conference on Declarative Programming, Gulp-Prode'94, Peniscula, Spain. SPUPV-94.2046, pp.296-308, 1994.
URL : https://hal.archives-ouvertes.fr/hal-01157221

H. Cirstea, C. Kirchner, L. Liquori, and B. Wack, Polymorphic Type Inference for the Rewriting Calculus, Proc. of JFLA'06, 17ème Journées Francophones des Langages Applicatifs, pp.57-69, 2006.
URL : https://hal.archives-ouvertes.fr/inria-00000817

6. P. Di-gianantonio, L. Liquori, and F. Honsell, A Lambda Calculus of Objects with Self- Inflicted Extension (extended abstract), Proc. of SisForm'98, 1st Workshop sui Sistemi Formali per la Specifica, l'Analisi, pp.39-40, 1998.

L. Liquori, Diamond Types for Extendible Objects. At FUN'98, Fourth Italian Workshop on Functional Programming, 1998.

L. Liquori and M. L. Sapino, Operational and Denotational Semantics for a Logic Language with explicit Exceptions, FUN'95, First Italian Workshop on Functional Programming, 1995.

F. Honsell, M. Lenisa, and L. Liquori, A Framework for Defining Logical Frameworks, At 3rd Workshop on the Rewriting Calculus, Kings College, 2006.
DOI : 10.1016/j.entcs.2007.02.014
URL : https://hal.archives-ouvertes.fr/hal-01148312

L. Liquori, Some Progress in the SW iRho At 2nd Workshop on the Rewriting Calculus, LIX, 2005.

L. Liquori and A. Spiwack, OhML. (The " Zen Essence " of Methods-as-Functions) At Types'04, International Workshop on Types for Proof and Programs, LIX Palaiseau, 2004.

L. Liquori, A Typed Axiomatic Object Calculus with Subtyping. At ATSC'95, Workshop on Advances In Type Systems For Computing, 1995.

H. Cirstea, E. Coquery, W. Drabent, F. Fages, C. Kirchner et al., Types for REWERSE reasononing and query language, 2005.

L. Liquori, Book Review: Formal Methods for Open Object-Based Distributed Systems, The Computer Journal, vol.46, issue.6, 2003.

L. Liquori, &. , and M. Team, Miró: SystèmesSystèmesà Objets, Types et Prototypes : Sémantique et Validation, 2002.

L. Liquori, &. , and M. Team, Miró: SystèmesSystèmesà Objets, Types et Prototypes : Sémantique et Validation, Rapport d'activité INRIA, 2001.

L. Liquori, Playing with Diamonds, Research Report, 1998.

L. Liquori, An extended Theory of Primitive Objects: First order system, 1996.
DOI : 10.1007/BFb0053378
URL : https://hal.archives-ouvertes.fr/hal-01154568

L. Liquori, Snake: The First Ascii-Oriented Script Language Based on the Original Screenplay of the Imperative Rewriting Calculus V1, Liquori/Snake, 2005.

L. Liquori and B. Serpette, iRho, Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming , PPDP '04, 2004.
DOI : 10.1145/1013963.1013983
URL : https://hal.archives-ouvertes.fr/hal-01147678

D. Bacchiega, D. Gotta, L. Liquori, M. Porta, and M. R. Votta, Ipotesi evolutive del Sistema MOMIX per la Specifica e Qualificazione di Sistemi TMN, Italian, 1998.
URL : https://hal.archives-ouvertes.fr/hal-01154663

M. Lenisa, L. Liquori, and I. Scagnetto, Constraint Logical Framework, C.7 Non publiés, 2007.

F. Honsell, M. Lenisa, and L. Liquori, An Axiomatic Logical Framework, in preparation, 2007.

C. Bertolissi, H. Cirstea, G. Faure, C. Kirchner, L. Liquori et al., The Rewriting Calculus. Book, in preparation, 2007.
URL : https://hal.archives-ouvertes.fr/inria-00121212

L. Liquori, On Demand Type Systems (How to plug *your* own type system in *our* virtual machine!), 2006.

S. Fechter, L. Liquori, and T. Hardin, Mini-Foc: A Kernel Calculus for Certified Computer Algebra, 2006.

L. Liquori and A. Spiwack, An Object-Oriented Logical Framework, Preliminary Report], 2005.

L. Liquori and A. Spiwack, OhML. (The " Zen Essence, 2005.

L. Liquori and G. Castagna, A Typed Lambda Calculus of Objects. Extended version of ASIAN'96, 2000.
URL : https://hal.archives-ouvertes.fr/hal-01156547

L. Liquori, The Deep Blue Calculus, Manuscript, 1998.

L. Liquori, Type Assigment Systems for Lambda Calculi and for the Lambda Calculus of Objects, 1996.
URL : https://hal.archives-ouvertes.fr/tel-01157160

L. Liquori, Semantica e Pragmatica di un Linguaggio Funzionale con le Continuazioni Esplicite, 1990.

L. Liquori, Computability and Complexity. G5003, Course Slides, 2004.

L. Liquori, A Brief Introduction to Corba Course Notes SI 131: Conception d'architectures logicielles, Ecole des Mines de, 1999.

L. Liquori, On Object Calculi Course Notes SI 142: Fondements de l'algorithmique et de la programmation, 1999.

L. Liquori, Les Langages ASN.1 et GDMO. Course Notes SI 151 : Réseaux et télécommunications, Ecole des Mines de, 1999.

L. Liquori and . Le-bug-de-java, Course Notes SI 153: Sûreté des systèmes informatiques, Ecole des Mines de Nancy, 1999.

L. Liquori, An Introduction to SmallTalk Course Notes POOGL: ProgrammationàProgrammationà Objets et Génie Logiciel, 1998.

]. J. Abr96, The B-Book: Assigning Programs to Meanings, 1996.

L. [. Abadi and . Cardelli, A Theory of Objects, 1996.
DOI : 10.1007/978-1-4419-8598-9

D. E. Allen, V. Chase, J. Luchangco, G. L. Maessen, S. Steele et al., The Fortress Language Specification, version 0, 2007.

F. [. Avron, I. A. Honsell, R. Mason, and . Pollack, Using typed lambda calculus to implement formal systems on a machine, Journal of Automated Reasoning, vol.49, issue.3, pp.309-354, 1992.
DOI : 10.1007/BF00245294

]. H. Bar92 and . Barendregt, Lambda Calculi with Types, Handbook of Logic in Computer Science, volume II, pp.118-310, 1992.

K. B. Bruce, R. L. Scot-drysdale, C. Kelemen, and A. B. Tucker, Why math?, Communications of the ACM, vol.46, issue.9, pp.40-44, 2003.
DOI : 10.1145/903893.903918

G. [. Bertino and . Guerrini, Objects with Multiple Most Specific Classes, Proc. of ECOOP, pp.102-126, 1995.
DOI : 10.1007/3-540-49538-X_6

]. G. Bra04 and . Bracha, Keynote address: Towards Secure Systems Programming Languages, SAC, pp.1-2, 2004.

]. K. Bru99 and . Bruce, Formal Semantics and Interpreters in a Principles of Programming Languages Course, SIGCSE, pp.331-335, 1999.

]. K. Bru02 and . Bruce, Foundations of Object-Oriented Languages: Types and Semantics, 2002.

]. L. Car04 and . Cardelli, Type Systems The Computer Science and Engineering Handbook, chapter 97, 2004.

G. [. Cresswell and . Hughes, A Companion to Modal Logic, 1984.

G. [. Chailloux and . Henry, The O'Jacare Home Page, 2005.

]. A. Chu41 and . Church, A Formulation of the Simple Theory of Types, Journal of Symbolic Logic, vol.5, pp.56-68, 1941.

]. N. De-bruijn, A Survey of the Project Automath
DOI : 10.1016/S0049-237X(08)70203-9

F. [. Drossopoulou, M. Damiani, P. Dezani-ciancaglini, and . Giannini, Fickle: Dynamic Object Re-classification, ECOOP, pp.130-149, 2001.
DOI : 10.1007/3-540-45337-7_8
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.24.8373

F. [. Drossopoulou, M. Damiani, P. Dezani-ciancaglini, and . Giannini, More dynamic object reclassification: Fickle, ACM Transactions on Programming Languages and Systems, vol.24, issue.2, pp.153-191, 2002.
DOI : 10.1145/514952.514955

]. S. Dns-+-06, O. Ducasse, N. Nierstrasz, R. Schärli, A. P. Wuyts et al., Traits: A Mechanism for Fine-grained Reuse, ACM TOPLAS, vol.28, issue.2, pp.331-388, 2006.

]. G. Dow03 and . Dowek, Au coeur d'une calculatrice, 2003.

F. [. Fisher, J. C. Honsell, and . Mitchell, A Lambda Calculus of Objects and Method Specialization, Nordic Journal of Computing, vol.1, issue.1, pp.3-37, 1994.

J. [. Fisher and . Reppy, Statically Typed Traits. http://www.cs.uchicagopdf. The early version " A Typed Calculus of Traits " has been presented at FOOL 10, 2004.

F. [. Harper, G. D. Honsell, and . Plotkin, A framework for defining logics, Journal of the ACM, vol.40, issue.1, pp.143-184, 1994.
DOI : 10.1145/138027.138060

]. G. Hue76 and . Huet, Résolution d'equations dans les langages d'ordre 1, thèse, 1976.

B. [. Igarashi, P. Pierce, and . Wadler, Featherweight Java: a minimal core calculus for Java and GJ, ACM Transactions on Programming Languages and Systems, vol.23, issue.3, pp.396-450, 2001.
DOI : 10.1145/503502.503505

R. [. Kamareddine, R. Bloo, and . Nederpelt, On ??-conversion in the ??-cube and the combination with abbreviations, Annals of Pure and Applied Logic, vol.97, issue.1-3, pp.1-327, 1999.
DOI : 10.1016/S0168-0072(98)00019-0

C. [. Kopetz, P. E. Kirchner, and . Moreau, Anti Pattern-Matching, Proc. of ESOP, volume LNCS, 2007.
URL : https://hal.archives-ouvertes.fr/inria-00337722

]. X. Ler06 and . Leroy, The CamlJava Home Page, 2006.

]. B. Pie02 and . Pierce, Types and Programming Languages, 2002.

]. G. Plo75 and . Plotkin, Call by Name, Call by Value and the ?-calculus, Theoretical Computer Science, vol.1, pp.125-159, 1975.

S. [. Smith and . Drossopoulou, Chai: Typed Traits in Java, Proc. of ECOOP, pp.453-478, 2005.