Global/local subtyping and capability inference for a distributed - calculus (1998)

by P Sewell
Venue:In Proceedings of ICALP '98, LNCS 1443