Attached Types and Their Application to Three Open Problems of Object-Oriented Programming
Abstract elided by the publisher.
Related papers
- Attaching Second-Order Types to Methods in an Object-Oriented Language ECOOP 1993
- Modular session types for distributed object-oriented programming POPL 2010
- super-Charging Object-Oriented Programming Through Precise Typing of Open Recursion ECOOP 2023
- Object-Oriented Concurrent Programming in ABCL/1 OOPSLA 1986
- Problem-Solution Mapping in Object-Oriented Design OOPSLA 1989
- AppleScript HOPL 2007
- MultiJava: Design rationale, compiler implementation, and applications TOPLAS 2006
- Behavioural Up/down Casting For Statically Typed Languages ECOOP 2024