Cited in
(10)- Securing interaction between threads and the scheduler in the presence of synchronization
- SeLINQ: tracking information across application-database boundaries
- HLIO: mixing static and dynamic typing for information-flow control in Haskell
- Paragon
- Jif
- HLIO
- SeLINQ
- JSFlow
- Combining behavioural types with security analysis
- A secrecy-preserving language for distributed and object-oriented systems
This page was built for software: Flow Caml
