Roberto M. Amadio & Pierre-Louis Curien (1998):
Domains and Lambda-Calculi.
Cambridge University Press,
doi:10.1017/CBO9780511983504.
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.
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.
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.
Gilad Bracha (1992):
The Programming Language JIGSAW: Mixins, Modularity and Multiple Inheritance.
Univeristy of Utha.
Gilad Bracha & William R. Cook (1990):
Mixin-based Inheritance.
In: OOPSLA/ECOOP,
pp. 303–311,
doi:10.1145/97945.97982.
Kim B. Bruce (2002):
Foundations of Object-Oriented Languages - Types and Semantics.
MIT Press.
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.
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.
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.
Rowan Davies & Frank Pfenning (2000):
Intersection Types and Computational Effects.
In: ICFP,
pp. 198–208,
doi:10.1145/351240.351259.
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.
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 http://www.di.unito.it/~dezani/papers/11.ps.
Martin Odersky & Matthias Zenger (2005):
Scalable component abstractions.
In: OOPSLA.
ACM,
pp. 41–57,
doi:10.1145/1094811.1094815.
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.
Klaus Ostermann (2002):
Dynamically composable collaborations with delegation layers.
In: ECOOP.
Springer,
pp. 89–110,
doi:10.1007/3-540-47993-7_4.
Jakob Rehof (2013):
Towards Combinatory Logic Synthesis.
In: BEAT'13, 1st International Workshop on Behavioural Types.
ACM.
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.