Mobile ambients (1998)

by Luca Cardelli, Andrew D. Gordon
Venue:In Proceedings of POPL'98