We stand with Ukraine  

Moez A. AbdelGawad

According to our database1, Moez A. AbdelGawad authored at least 26 papers between 2013 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

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

Using Category Theory in Modeling Generics in OOP (Outline).
[BibTeX]
[DOI]
Moez A. AbdelGawad
CoRR, 2019

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

Mutual Coinduction.
[BibTeX]
[DOI]
Moez A. AbdelGawad
CoRR, 2019

Induction, Coinduction, and Fixed Points: Intuitions and Tutorial.
[BibTeX]
[DOI]
Moez A. AbdelGawad
CoRR, 2019

Induction, Coinduction, and Fixed Points in PL Type Theory.
[BibTeX]
[DOI]
Moez A. AbdelGawad
CoRR, 2019

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

Doubly F-Bounded Generics.
[BibTeX]
[DOI]
Moez A. AbdelGawad
CoRR, 2018

Towards Taming Java Wildcards and Extending Java with Interval Types.
[BibTeX]
[DOI]
Moez A. AbdelGawad
CoRR, 2018

Partial Cartesian Graph Product.
[BibTeX]
[DOI]
Moez A. AbdelGawad
CoRR, 2018

Java Subtyping as an Infinite Self-Similar Partial Graph Product.
[BibTeX]
[DOI]
Moez A. AbdelGawad
CoRR, 2018

Finitary-based Domain Theory in Coq: An Early Report.
[BibTeX]
[DOI]
Moez A. AbdelGawad
CoRR, 2018

NOOP: A Domain-Theoretic Model of Nominally-Typed OOP.
[BibTeX]
[DOI]
Moez A. AbdelGawad
,
Robert Cartwright
CoRR, 2018

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

Category Theory for Modeling OOP.
[BibTeX]
[DOI]
Moez A. AbdelGawad
CoRR, 2017

Towards a Java Subtyping Operad (extended version).
[BibTeX]
[DOI]
Moez A. AbdelGawad
CoRR, 2017

Towards a Java Subtyping Operad.
[BibTeX]
[DOI]
Moez A. AbdelGawad
Proceedings of the 19th Workshop on Formal Techniques for Java-like Programs, 2017

2016
Domain Theory: An Introduction.
[BibTeX]
[DOI]
Robert Cartwright
,
Rebecca Parsons
,
Moez A. AbdelGawad
CoRR, 2016

Towards an Accurate Mathematical Model of Generic Nominally-Typed OOP.
[BibTeX]
[DOI]
Moez A. AbdelGawad
CoRR, 2016

Why Nominal-Typing Matters in Object-Oriented Programming.
[BibTeX]
[DOI]
Moez A. AbdelGawad
CoRR, 2016

Towards Understanding Generics.
[BibTeX]
[DOI]
Moez A. AbdelGawad
CoRR, 2016

A Comparison of NOOP to Structural Domain-Theoretic Models of Object-Oriented Programming.
[BibTeX]
[DOI]
Moez A. AbdelGawad
CoRR, 2016

2014
Subtyping in Java with Generics and Wildcards is a Fractal.
[BibTeX]
[DOI]
Moez A. AbdelGawad
CoRR, 2014

Domain Theory for Modeling OOP: A Summary.
[BibTeX]
[DOI]
Moez A. AbdelGawad
CoRR, 2014

2013
A Domain-Theoretic Model Of Nominally-Typed Object-Oriented Programming.
[BibTeX]
[DOI]
Moez A. AbdelGawad
Proceedings of the 6th International Symposium on Domain Theory and Its Applications, 2013

An Overview of Nominal-Typing versus Structural-Typing in Object-Oriented Programming.
[BibTeX]
[DOI]
Moez A. AbdelGawad
CoRR, 2013


  Loading...