A uniform type structure for secure information flow (2002)

by K Honda, N Yoshida
Venue:In Proc. 29th ACM Symp. on Principles of Programming Languages