Moez A. AbdelGawad | DeepAI

DeepAI AI Chat

∙ 06/20/2019

Java Generics: An Order-Theoretic Approach (Abridged Outline)

The mathematical modeling of generics in Java and other similar nominall...

0 Moez A. AbdelGawad, et al. ∙

∙ 06/12/2019

Using Category Theory in Modeling Generics in OOP (Outline)

Modeling generics in object-oriented programming languages such as Java ...

0 Moez A. AbdelGawad, et al. ∙

∙ 05/23/2019

Java Generics: An Order-Theoretic Approach (Detailed Outline)

Generics have been added to Java so as to increase the expressiveness of...

0 Moez A. AbdelGawad, et al. ∙

∙ 03/14/2019

Mutual Coinduction

In this paper we present mutual coinduction as a dual of mutual inductio...

0 Moez A. AbdelGawad, et al. ∙

∙ 02/26/2019

Induction, Coinduction, and Fixed Points in PL Type Theory

Recently we presented a concise survey of the formulation of the inducti...

0 Moez A. AbdelGawad, et al. ∙

∙ 02/26/2019

Induction, Coinduction, and Fixed Points: Intuitions and Tutorial

Recently we presented a concise survey of the formulation of the inducti...

0 Moez A. AbdelGawad, et al. ∙

∙ 12/25/2018

Induction, Coinduction, and Fixed Points: A Concise Comparative Survey

In this survey article (which hitherto is an ongoing work-in-progress) w...

0 Moez A. AbdelGawad, et al. ∙

∙ 12/25/2018

Induction, Coinduction, and Fixed Points: A Concise Comparative Survey (and Tutorial)

In this survey paper (which hitherto is an ongoing work-in-progress) we ...

0 Moez A. AbdelGawad, et al. ∙

∙ 12/25/2018

Induction, Coinduction, and Fixed Points: A Concise Survey

In this survey paper (which hitherto is an ongoing work-in-progress) we ...

0 Moez A. AbdelGawad, et al. ∙

∙ 12/25/2018

Induction, Coinduction, and Fixed Points: A Concise Survey (and Tutorial)

In this survey paper we present the formulation of the induction and coi...

0 Moez A. AbdelGawad, et al. ∙

∙ 12/25/2018

Induction, Coinduction, and Fixed Points in Order Theory, Set Theory, (PL) Type Theory, Logic, and Category Theory: A Concise Survey (and Tutorial)

In this paper we present the formulation of the induction and coinductio...

0 Moez A. AbdelGawad, et al. ∙

∙ 12/25/2018

Fixed Points, Induction, and Coinduction in Order Theory, Set Theory, (PL) Type Theory, Category Theory, and Logic: A Concise Summary

In this note we present the formulation of the induction and coinduction...

0 Moez A. AbdelGawad, et al. ∙

∙ 12/25/2018

Fixed Points, Induction, and Coinduction in Order Theory, Set Theory, Type Theory, Category Theory, and Logic: A Concise Summary

In this note we present the formulation of the induction and co-inductio...

0 Moez A. AbdelGawad, et al. ∙

∙ 08/18/2018

Doubly F-Bounded Generics

In this paper we suggest how f-bounded generics in nominally-typed OOP c...

0 Moez A. AbdelGawad, et al. ∙

∙ 05/18/2018

Towards Taming Java Wildcards and Extending Java with Interval Types

Of the complex features of generic nominally-typed OO type systems, wild...

0 Moez A. AbdelGawad, et al. ∙

∙ 05/18/2018

Java Subtyping as an Infinite Self-Similar Partial Graph Product

Due to supporting variance annotations, such as wildcard types, the subt...

0 Moez A. AbdelGawad, et al. ∙

∙ 05/18/2018

Partial Cartesian Graph Product

In this paper we define a new product-like binary operation on directed ...

0 Moez A. AbdelGawad, et al. ∙

∙ 01/17/2018

Finitary-based Domain Theory in Coq: An Early Report

In domain theory every finite computable object can be represented by a ...

0 Moez A. AbdelGawad, et al. ∙

∙ 12/28/2017

Object-Oriented Theorem Proving (OOTP): First Thoughts

Automatic (i.e., computer-assisted) theorem proving (ATP) can come in ma...

0 Moez A. AbdelGawad, et al. ∙

∙ 09/23/2017

Novel Uses of Category Theory in Modeling OOP

An outline and summary of four new potential applications of category th...

0 Moez A. AbdelGawad, et al. ∙

∙ 09/23/2017

Category Theory for Modeling OOP

An outline and summary of four new potential applications of category th...

0 Moez A. AbdelGawad, et al. ∙

∙ 06/01/2017

Towards a Java Subtyping Operad

The subtyping relation in Java exhibits self-similarity. The self-simila...

0 Moez A. AbdelGawad, et al. ∙

∙ 06/01/2017

Towards a Java Subtyping Operad (extended version)

The subtyping relation in Java exhibits self-similarity. The self-simila...

0 Moez A. AbdelGawad, et al. ∙

Are you a researcher?
Expose your work
to one of the largest
A.I. communities in the world