2 citations · 7 across the 10 of their papers we have counts for
17 papers
Java Generics: An Order-Theoretic Approach (Abridged Outline)
Moez A. AbdelGawad
The mathematical modeling of generics in Java and other similar nominally-typed object-oriented programming languages is a challenge. In this short paper we present the outline of…
Using Category Theory in Modeling Generics in OOP (Outline)
Moez A. AbdelGawad
Modeling generics in object-oriented programming languages such as Java and C# is a challenge. Recently we proposed a new order-theoretic approach to modeling generics. Given the s…
Java Generics: An Order-Theoretic Approach (Detailed Outline)
Moez A. AbdelGawad
Generics have been added to Java so as to increase the expressiveness of its type system. Generics in Java, however, include some features---such as Java wildcards, -bounded gen…
Mutual Coinduction
Moez A. AbdelGawad
In this paper we present mutual coinduction as a dual of mutual induction and also as a generalization of standard coinduction. In particular, we present a precise formal definitio…
Induction, Coinduction, and Fixed Points: Intuitions and Tutorial
Moez A. AbdelGawad
Recently we presented a concise survey of the formulation of the induction and coinduction principles, and some concepts related to them, in five different fields mathematical fiel…
Induction, Coinduction, and Fixed Points in PL Type Theory
Moez A. AbdelGawad
Recently we presented a concise survey of the formulation of the induction and coinduction principles, and some concepts related to them, in programming languages type theory and f…