Type-Theoretic Foundations for Concurrent Object-Oriented Programming.

Naoki Kobayashi, Akinori Yonezawa

Browse the full OOPSLA paper archive.