Secure safe ambients

Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '01 ◽

10.1145/360204.360223 ◽

2001 ◽

Cited By ~ 35

Author(s):

Michele Bugliesi ◽

Giuseppe Castagna

Download Full-text