Flexible manipulation of labeled values for information-flow control libraries
From MaRDI portal
Publication:2165484
Recommendations
- HLIO: mixing static and dynamic typing for information-flow control in Haskell
- Flexible dynamic information flow control in the presence of exceptions
- Information Flow Tracking for Side-Effectful Libraries
- Arrows for secure information flow
- A Principled Approach to Tracking Information Flow in the Presence of Libraries
Cited in
(4)
This page was built for publication: Flexible manipulation of labeled values for information-flow control libraries
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2165484)