1. Flexible dynamic information flow control in the presence of exceptions*. (12th January 2017) Authors: STEFAN, DEIAN; MAZIÈRES, DAVID; MITCHELL, JOHN C.; RUSSO, ALEJANDRO Journal: Journal of functional programming Issue: Volume 27(2017) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗