Dominique Devriese, Frank Piessens. Information flow enforcement in monadic libraries. In Stephanie Weirich, Derek Dreyer, editors, Proceedings of TLDI 2011: 2011 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Austin, TX, USA, January 25, 2011. pages 59-72, ACM, 2011. [doi]
Abstract is missing.