Moez A. AbdelGawad

26 papers Journal 24Unranked 2

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