Type-Theoretic Foundations for Concurrent Object-Oriented Programming

Published: 1994, Last Modified: 13 May 2025OOPSLA 1994EveryoneRevisionsBibTeXCC BY-SA 4.0
Loading