Using Category Theory in Modeling Generics in OOP (Outline)

06/12/2019
by   Moez A. AbdelGawad, et al.
0

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.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
06/20/2019

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

The mathematical modeling of generics in Java and other similar nominall...
research
04/21/2023

Strong pseudomonads and premonoidal bicategories

Strong monads and premonoidal categories play a central role in clarifyi...
research
05/23/2019

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

Generics have been added to Java so as to increase the expressiveness of...
research
09/23/2017

Category Theory for Modeling OOP

An outline and summary of four new potential applications of category th...
research
09/23/2017

Novel Uses of Category Theory in Modeling OOP

An outline and summary of four new potential applications of category th...
research
05/23/2016

The bitwise operations in relation to obtaining Latin squares

The main thrust of the article is to provide interesting example, useful...
research
07/19/2021

Strong shift equivalence as a category notion

In this paper, we present a completely radical way to investigate the ma...

Please sign up or login with your details

Forgot password? Click here to reset