Attaching Second-Order Types to Methods in an Object-Oriented Language
No abstract available.
Related papers
- Attached Types and Their Application to Three Open Problems of Object-Oriented Programming ECOOP 2005
- Modular session types for distributed object-oriented programming POPL 2010
- Exception Handling and Object-Oriented Programming: Towards a Synthesis OOPSLA 1990
- Safe and Decidable Type Checking in an Object-Oriented Language OOPSLA 1993
- Parasitic Methods: An Implementation of Multi-Methods for Java OOPSLA 1997
- Static Typing for Dynamic Messages POPL 1998
- Combining subsumption and binary methods: an object calculus with views POPL 2001
- A Paradigmatic Object-Oriented Programming Language: Design, Static Typing and Semantics JFP 1994