Typing illegal information flows as program effects.

Ana Almeida Matos José Fragoso Santos

Published in: PLAS (2012)

Keyphrases

information flows
information flow
social networks
emergency response
decision making
intrusion detection
communication networks
organizational structure