2000 character limit reached
Towards Understanding Generics in Mainstream OOP (1605.01480v2)
Published 5 May 2016 in cs.PL
Abstract: This article reports on steps towards building a simple and accurate domain-theoretic model of generic nominally-typed OOP.