Moez A. AbdelGawad
Identifiers
- name variant Moez A. AbdelGawad 0.60 · backfill
Papers (23)
- Java Generics: An Order-Theoretic Approach (Abridged Outline) cs.PL · 2019 · author #1
- Using Category Theory in Modeling Generics in OOP (Outline) cs.PL · 2019 · author #1
- Java Generics: An Order-Theoretic Approach (Detailed Outline) cs.PL · 2019 · author #1
- Mutual Coinduction cs.LO · 2019 · author #1
- Induction, Coinduction, and Fixed Points in PL Type Theory cs.LO · 2019 · author #1
- Induction, Coinduction, and Fixed Points: Intuitions and Tutorial cs.LO · 2019 · author #1
- Induction, Coinduction, and Fixed Points: A Concise Comparative Survey cs.LO · 2018 · author #1
- Doubly F-Bounded Generics cs.PL · 2018 · author #1
- Towards Taming Java Wildcards and Extending Java with Interval Types cs.PL · 2018 · author #1
- Java Subtyping as an Infinite Self-Similar Partial Graph Product cs.PL · 2018 · author #1
- Partial Cartesian Graph Product cs.PL · 2018 · author #1
- Finitary-based Domain Theory in Coq: An Early Report cs.LO · 2018 · author #1
- Object-Oriented Theorem Proving (OOTP): First Thoughts cs.PL · 2017 · author #1
- Novel Uses of Category Theory in Modeling OOP cs.PL · 2017 · author #1
- Towards a Java Subtyping Operad cs.PL · 2017 · author #1
- Towards an Accurate Mathematical Model of Generic Nominally-Typed OOP cs.PL · 2016 · author #1
- Why Nominal-Typing Matters in OOP cs.PL · 2016 · author #1
- Towards Understanding Generics in Mainstream OOP cs.PL · 2016 · author #1
- A Comparison of NOOP to Structural Domain-Theoretic Models of OOP cs.PL · 2016 · author #1
- Set Theory for The (Smart) Masses math.HO · 2015 · author #1
- Subtyping in Java is a Fractal cs.PL · 2014 · author #1
- Domain Theory for Modeling OOP: A Summary cs.PL · 2014 · author #1
- An Overview of Nominal-Typing versus Structural-Typing in OOP cs.PL · 2013 · author #1