1. Ravi P Agarwal , Maria Meehan , and Donal O’regan . 2001. Fixed point theory and applications. Vol. 141 . Cambridge university press . Ravi P Agarwal, Maria Meehan, and Donal O’regan. 2001. Fixed point theory and applications. Vol. 141. Cambridge university press.
2. Semantic subtyping for imperative object-oriented languages
3. Decidable tag-based semantic subtyping for nominal types, tuples, and unions
4. Jan Bessai , Andrej Dudenhefner , Tzu Chun Chen , Ugo De’Liguoro , Jakob Rehof , 2015 . Mixin composition synthesis based on intersection types . In TLCA 2015, Vol. 38. Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, 76–91. Jan Bessai, Andrej Dudenhefner, Tzu Chun Chen, Ugo De’Liguoro, Jakob Rehof, 2015. Mixin composition synthesis based on intersection types. In TLCA 2015, Vol. 38. Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, 76–91.