A static type system for message passing (1991)

by Giorgio Ghelli
Venue:In Conference on Object-Oriented Programming Systems, Languages, and Applications