Flow Caml
From MaRDI portal
Software:20919
swMATH8923MaRDI QIDQ20919FDOQ20919
Author name not available (Why is that?)
Cited In (5)
- SeLINQ: tracking information across application-database boundaries
- Securing interaction between threads and the scheduler in the presence of synchronization
- HLIO: mixing static and dynamic typing for information-flow control in Haskell
- Combining behavioural types with security analysis
- A secrecy-preserving language for distributed and object-oriented systems
This page was built for software: Flow Caml
