1. Martín Abadi & Luca Cardelli (1996): A Theory of Objects. Springer, doi:10.1007/978-1-4419-8598-9.
  2. Roberto M. Amadio & Pierre-Louis Curien (1998): Domains and Lambda-Calculi. Cambridge University Press, doi:10.1017/CBO9780511983504.
  3. Steffen van Bakel & Ugo de'Liguoro (2008): Logical Equivalence for Subtyping Object and Recursive Types. Theory Comput. Syst. 42(3), pp. 306–348, doi:10.1007/s00224-007-9079-5.
  4. H. Barendregt, M. Coppo & M. Dezani-Ciancaglini (1983): A Filter Lambda Model and the Completeness of Type Assignment. Journal of Symbolic Logic 48(4), pp. 931–940, doi:10.2307/2273659.
  5. Jan Bessai, Boris Düdder, Andrej Dudenhefer & Moritz Martens (2014): Delegation-based Mixin Composition Synthesis. Available at
  6. Viviana Bono, Amit Patel & Vitaly Shmatikov (1999): A Core Calculus of Classes and Mixins. In: ECOOP, Lecture Notes in Computer Science 1628, pp. 43–66, doi:10.1007/3-540-48743-3_3.
  7. Gilad Bracha (1992): The Programming Language JIGSAW: Mixins, Modularity and Multiple Inheritance. Univeristy of Utha.
  8. Gilad Bracha & William R. Cook (1990): Mixin-based Inheritance. In: OOPSLA/ECOOP, pp. 303–311, doi:10.1145/97945.97982.
  9. Kim B. Bruce (2002): Foundations of Object-Oriented Languages - Types and Semantics. MIT Press.
  10. Peter S. Canning, William R. Cook, Walter L. Hill, Walter G. Olthoff & John C. Mitchell (1989): F-Bounded Polymorphism for Object-Oriented Programming. In: FPCA, pp. 273–280, doi:10.1145/99370.99392.
  11. Luca Cardelli (1984): A Semantics of Multiple Inheritance. In: Semantics of Data Types, Sophia-Antipolis, France, June 27-29, 1984, Proceedings, LNCS 173, pp. 51–67, doi:10.1016/0890-5401(88)90007-7.
  12. William R. Cook, Walter L. Hill & Peter S. Canning (1990): Inheritance Is Not Subtyping. In: POPL'90. ACM Press, pp. 125–135, doi:10.1145/96709.96721.
  13. Rowan Davies & Frank Pfenning (2000): Intersection Types and Computational Effects. In: ICFP, pp. 198–208, doi:10.1145/351240.351259.
  14. Ugo de'Liguoro (2001): Characterizing Convergent Terms in Object Calculi via Intersection Types. In: TLCA, pp. 315–328, doi:10.1007/3-540-45413-6_25.
  15. Ugo de'Liguoro & Tzu chun Chen (2014): Semantic Types for Classes and Mixins. Available at
  16. Mariangiola Dezani-Ciancaglini, Elio Giovannetti & Ugo de' Liguoro (1998): Intersection Types, Lambda-models and Böhm Trees. In: MSJ-Memoir Vol. 2 ``Theories of Types and Proofs'' 2. Mathematical Society of Japan, pp. 45–97. Available at
  17. Oleg Kiselyov & Ralf Lämmel (2005): Haskell's overlooked object system. CoRR abs/cs/0509027.
  18. Martin Odersky & Matthias Zenger (2005): Scalable component abstractions. In: OOPSLA. ACM, pp. 41–57, doi:10.1145/1094811.1094815.
  19. Bruno C d S Oliveira, Tijs Van Der Storm, Alex Loh & William R Cook (2013): Feature-Oriented programming with object algebras. In: ECOOP. Springer, pp. 27–51, doi:10.1007/978-3-642-39038-8_2.
  20. Addy Osmani (2012): Learning JavaScript Design Patterns. O'Reilly Media, Inc..
  21. Klaus Ostermann (2002): Dynamically composable collaborations with delegation layers. In: ECOOP. Springer, pp. 89–110, doi:10.1007/3-540-47993-7_4.
  22. Jakob Rehof (2013): Towards Combinatory Logic Synthesis. In: BEAT'13, 1st International Workshop on Behavioural Types. ACM.
  23. Reuben N. S. Rowe & Steffen van Bakel (2014): Semantic Types and Approximation for Featherweight Java. Theor. Comput. Sci. 517, pp. 34–74, doi:10.1016/j.tcs.2013.08.017.

Comments and questions to:
For website issues: