A New Type System for (2001)

by G Smith
Venue:Secure Information Flow, CSFW'01, IEEE