Documents Information-Flow Security in Haskell

Introduction Computer systems usually handles confidential information Credit card numbers, passwords, medical files, etc Mobile phones? How can programs preserve confidentiality…