super-Charging Object-Oriented Programming Through Precise Typing of Open Recursion
No abstract available.
Related papers
- ThisType for Object-Oriented Languages: From Theory to Practice TOPLAS 2016
- Toward a Typed Foundation for Method Specialization and Inheritance POPL 1990
- An Interpretation of Objects and Object Types POPL 1996
- Classification of Actions, or Inheritance also for Methods ECOOP 1987
- Attached Types and Their Application to Three Open Problems of Object-Oriented Programming ECOOP 2005
- Recursive Object Types in a Logic of Object-Oriented Programs ESOP 1998
- Object-Oriented Programming without Recursive Types POPL 1993
- Super and inner: together at last! OOPSLA 2004