Object-oriented programming

super-Charging Object-Oriented Programming Through Precise Typing of Open Recursion

We present a new variation of object-oriented programming built around three simple and orthogonal constructs: classes for storing …

Andong Fan, Lionel Parreaux