pith. sign in

arxiv: 1605.01480 · v2 · pith:A3H4FFPBnew · submitted 2016-05-05 · 💻 cs.PL

Towards Understanding Generics in Mainstream OOP

Moez A. AbdelGawad This is my paper
classification 💻 cs.PL
keywords towardsaccuratearticlebuildingdomain-theoreticgenericgenericsmainstream
0
0 comments X
read the original abstract

This article reports on steps towards building a simple and accurate domain-theoretic model of generic nominally-typed OOP.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

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

    cs.PL 2019-06 unverdicted novelty 5.0

    Outlines an order-theoretic and category-theoretic model for Java generics to address analysis challenges in generic OO type systems.