Moez A. AbdelGawad

Publication Activity (10 Years)

Years Active: 2013-2019
Publications (10 Years): 22

Top Topics

Top Venues

Publications

Moez A. AbdelGawad
Induction, Coinduction, and Fixed Points in PL Type Theory. CoRR (2019)
Moez A. AbdelGawad
Java Generics: An Order-Theoretic Approach (Detailed Outline). CoRR (2019)
Moez A. AbdelGawad
Using Category Theory in Modeling Generics in OOP (Outline). CoRR (2019)
Moez A. AbdelGawad
Induction, Coinduction, and Fixed Points: Intuitions and Tutorial. CoRR (2019)
Moez A. AbdelGawad
Java Generics: An Order-Theoretic Approach (Abridged Outline). CoRR (2019)
Moez A. AbdelGawad
Mutual Coinduction. CoRR (2019)
Moez A. AbdelGawad
Fixed Points, Induction, and Coinduction in Order Theory, Set Theory, (PL) Type Theory, Category Theory, and Logic: A Concise Summary. CoRR (2018)
Moez A. AbdelGawad
Java Subtyping as an Infinite Self-Similar Partial Graph Product. CoRR (2018)
Moez A. AbdelGawad
Towards Taming Java Wildcards and Extending Java with Interval Types. CoRR (2018)
Moez A. AbdelGawad
Finitary-based Domain Theory in Coq: An Early Report. CoRR (2018)
Moez A. AbdelGawad
Partial Cartesian Graph Product. CoRR (2018)
Moez A. AbdelGawad
Doubly F-Bounded Generics. CoRR (2018)
Moez A. AbdelGawad, Robert Cartwright
NOOP: A Domain-Theoretic Model of Nominally-Typed OOP. CoRR (2018)
Moez A. AbdelGawad
Towards a Java Subtyping Operad (extended version). CoRR (2017)
Moez A. AbdelGawad
Towards a Java Subtyping Operad. FTfJP@ECOOP (2017)
Moez A. AbdelGawad
Object-Oriented Theorem Proving (OOTP): First Thoughts. CoRR (2017)
Moez A. AbdelGawad
Category Theory for Modeling OOP. CoRR (2017)
Moez A. AbdelGawad
Why Nominal-Typing Matters in Object-Oriented Programming. CoRR (2016)
Moez A. AbdelGawad
Towards an Accurate Mathematical Model of Generic Nominally-Typed OOP. CoRR (2016)
Moez A. AbdelGawad
Towards Understanding Generics. CoRR (2016)
Robert Cartwright, Rebecca Parsons, Moez A. AbdelGawad
Domain Theory: An Introduction. CoRR (2016)
Moez A. AbdelGawad
A Comparison of NOOP to Structural Domain-Theoretic Models of Object-Oriented Programming. CoRR (2016)
Moez A. AbdelGawad
Domain Theory for Modeling OOP: A Summary. CoRR (2014)
Moez A. AbdelGawad
Subtyping in Java with Generics and Wildcards is a Fractal. CoRR (2014)
Moez A. AbdelGawad
An Overview of Nominal-Typing versus Structural-Typing in Object-Oriented Programming. CoRR (2013)
Moez A. AbdelGawad
A Domain-Theoretic Model Of Nominally-Typed Object-Oriented Programming. ISDT (2013)