Type systems for information flow control: the question of granularity

Publication
ACM SIGLOG News