Dependent Information Flow Types.

Luísa Lourenço Luís Caires

Published in: POPL (2015)

Keyphrases

information flow
social networks
information flows
information security
flow analysis
communication networks
supply chain
multi threaded
functional modules
information systems
data processing
reactive systems
flow graph