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

Andong Fan, Lionel Parreaux

Browse the full ECOOP paper archive.