Type-Theoretic Foundations for Concurrent Object-Oriented Programming (1994)

by N Kobayashi, A Yonezawa
Venue:in Proceedings of $ACM$ SIGPLAN Conference on Object-Oriented Progmmming $\mathrm{s}_{y_{Ste}m\mathit{8}},$ $Language\mathrm{s}_{f}$ and Applications (OOP$SLA’ \mathit{9}\mathit{4