Type Capabilities for Object-Oriented Programming Languages.

Xi Wu, Yi Lu, Patrick A. Meiring, Ian J. Hayes, Larissa A. Meinicke

Browse the full ICFEM paper archive.