An Overview of Nominal-Typing versus Structural-Typing in Object-Oriented Programming. - Moez A. AbdelGawad (CoRR, 2013)

A Domain-Theoretic Model Of Nominally-Typed Object-Oriented Programming. - Moez A. AbdelGawad (ISDT, 2013)

Domain Theory for Modeling OOP: A Summary. - Moez A. AbdelGawad (CoRR, 2014)

Subtyping in Java with Generics and Wildcards is a Fractal. - Moez A. AbdelGawad (CoRR, 2014)

A Comparison of NOOP to Structural Domain-Theoretic Models of Object-Oriented Programming. - Moez A. AbdelGawad (CoRR, 2016)

Towards Understanding Generics. - Moez A. AbdelGawad (CoRR, 2016)

Why Nominal-Typing Matters in Object-Oriented Programming. - Moez A. AbdelGawad (CoRR, 2016)

Towards an Accurate Mathematical Model of Generic Nominally-Typed OOP. - Moez A. AbdelGawad (CoRR, 2016)

Domain Theory: An Introduction. - Robert Cartwright; Rebecca Parsons; Moez A. AbdelGawad (CoRR, 2016)

Towards a Java Subtyping Operad. - Moez A. AbdelGawad (FTfJP@ECOOP, 2017)

Towards a Java Subtyping Operad (extended version). - Moez A. AbdelGawad (CoRR, 2017)

Category Theory for Modeling OOP. - Moez A. AbdelGawad (CoRR, 2017)

Object-Oriented Theorem Proving (OOTP): First Thoughts. - Moez A. AbdelGawad (CoRR, 2017)

NOOP: A Domain-Theoretic Model of Nominally-Typed OOP. - Moez A. AbdelGawad; Robert Cartwright (CoRR, 2018)

Finitary-based Domain Theory in Coq: An Early Report. - Moez A. AbdelGawad (CoRR, 2018)

Java Subtyping as an Infinite Self-Similar Partial Graph Product. - Moez A. AbdelGawad (CoRR, 2018)

Partial Cartesian Graph Product. - Moez A. AbdelGawad (CoRR, 2018)

Towards Taming Java Wildcards and Extending Java with Interval Types. - Moez A. AbdelGawad (CoRR, 2018)

Doubly F-Bounded Generics. - Moez A. AbdelGawad (CoRR, 2018)

Fixed Points, Induction, and Coinduction in Order Theory, Set Theory, (PL) Type Theory, Category Theory, and Logic: A Concise Summary. - Moez A. AbdelGawad (CoRR, 2018)

Induction, Coinduction, and Fixed Points in PL Type Theory. - Moez A. AbdelGawad (CoRR, 2019)

Induction, Coinduction, and Fixed Points: Intuitions and Tutorial. - Moez A. AbdelGawad (CoRR, 2019)

Mutual Coinduction. - Moez A. AbdelGawad (CoRR, 2019)

Java Generics: An Order-Theoretic Approach (Detailed Outline). - Moez A. AbdelGawad (CoRR, 2019)

Using Category Theory in Modeling Generics in OOP (Outline). - Moez A. AbdelGawad (CoRR, 2019)

Java Generics: An Order-Theoretic Approach (Abridged Outline). - Moez A. AbdelGawad (CoRR, 2019)