Using Category Theory in Modeling Generics in OOP (Outline)
Programming Languages
2019-06-13 v1 Category Theory
Abstract
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 strong relation between order theory and category theory, in this extended abstract we present how also some tools from category theory, such as adjunctions, monads and operads, are used in our approach to modeling generics.
Cite
@article{arxiv.1906.04925,
title = {Using Category Theory in Modeling Generics in OOP (Outline)},
author = {Moez A. AbdelGawad},
journal= {arXiv preprint arXiv:1906.04925},
year = {2019}
}
Comments
3 pages (excluding references and an appendix). arXiv admin note: text overlap with arXiv:1906.03937