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