Java Generics: An Order-Theoretic Approach (Abridged Outline)
Programming Languages
2019-06-27 v1
Abstract
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 a novel order-theoretic approach to modeling generics, in which we also elementarily use some concepts and tools from category theory. We believe a combined order-theoretic and category-theoretic approach to modeling generics holds the keys to overcoming much of the adversity found when analyzing features of generic OO type systems.
Cite
@article{arxiv.1906.11197,
title = {Java Generics: An Order-Theoretic Approach (Abridged Outline)},
author = {Moez A. AbdelGawad},
journal= {arXiv preprint arXiv:1906.11197},
year = {2019}
}
Comments
5 pages excluding references. An abridged version of arXiv:1906.03937