Thomas Schmitz, Dustin Rhodes, Thomas H. Austin, Kenneth Knowles, Cormac Flanagan. Faceted Dynamic Information Flow via Control and Data Monads. In Frank Piessens, Luca Viganò, editors, Principles of Security and Trust - 5th International Conference, POST 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings. Volume 9635 of Lecture Notes in Computer Science, pages 3-23, Springer, 2016. [doi]
Abstract is missing.