3 citations
Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
5 papers · 1 filter
Towards Taming Java Wildcards and Extending Java with Interval Types
Moez A. AbdelGawad
Of the complex features of generic nominally-typed OO type systems, wildcard types and variance annotations are probably the hardest to fully grasp. As demonstrated when adding clo…
Object-Oriented Theorem Proving (OOTP): First Thoughts
Moez A. AbdelGawad
Automatic (i.e., computer-assisted) theorem proving (ATP) can come in many flavors. This document presents early steps in our effort towards defining object-oriented theorem provin…
Towards a Java Subtyping Operad
Moez A. AbdelGawad
The subtyping relation in Java exhibits self-similarity. The self-similarity in Java subtyping is interesting and intricate due to the existence of wildcard types and, accordingly,…
Towards Understanding Generics in Mainstream OOP
Moez A. AbdelGawad
This article reports on steps towards building a simple and accurate domain-theoretic model of generic nominally-typed OOP.
Subtyping in Java is a Fractal
Moez A. AbdelGawad
While developing their software, professional object-oriented (OO) software developers keep in their minds an image of the subtyping relation between types in their software. The g…