output
20142018
most citedTowards Understanding Generics in Mainstream OOP

3 citations

researchers with a paper here

Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.

collaborating institutions
Showing 2017Show all

2 papers · 1 filter

cs.PL2017

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…

cs.PL2017

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,…