HLIO: mixing static and dynamic typing for information-flow control in Haskell

Information-Flow Control (IFC) is a well-established approach for allowing untrusted code to manipulate sensitive data without disclosing it. IFC is typically enforced via type systems and static a...