HLIO

swMATH22611MaRDI QIDQ34402FDOQ34402

Author name not available (Why is that?)

Described by source

• HLIO: mixing static and dynamic typing for information-flow control in Haskell

Cited In (2)

• A survey of challenges for runtime verification from advanced application domains (beyond software)
• A secrecy-preserving language for distributed and object-oriented systems

This page was built for software: HLIO