Towards Understanding Generics in Mainstream OOP

Abstract

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

29 pages

References in corpus (2)

• Domain Theory for Modeling OOP: A Summary
• A Comparison of NOOP to Structural Domain-Theoretic Models of OOP

Cited by in corpus (3)

• Towards an Accurate Mathematical Model of Generic Nominally-Typed OOP
• Partial Cartesian Graph Product
• Novel Uses of Category Theory in Modeling OOP