Thomas Schmitz, Dustin Rhodes, Thomas H. Austin, Kenneth L. Knowles, Cormac Flanagan: Faceted Dynamic Information Flow via Control and Data Monads. POST 2016: 3-23