Using Category Theory in Modeling Generics in OOP (Outline)
classification
💻 cs.PL
math.CT
keywords
genericsmodelingtheorycategoryapproachabstractadjunctionschallenge
read the original 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.
This paper has not been read by Pith yet.
Forward citations
Cited by 1 Pith paper
-
Java Generics: An Order-Theoretic Approach (Abridged Outline)
Outlines an order-theoretic and category-theoretic model for Java generics to address analysis challenges in generic OO type systems.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.