Types for mobile ambients (1999)

by Luca Cardelli , Andrew D. Gordon
Venue:In Proc. 26th POPL
Citations:155 - 14 self