Type systems for information flow control: the question of granularityVineet Rajani, Iulia Bastys, Willard Rafnsson, Deepak GargJan 1, 2017DOI URL