HLIO

swMATH22611MaRDI QIDQ34402FDOQ34402

Author name not available (Why is that?)

Official website: https://dl.acm.org/citation.cfm?doid=2784731.2784758

Described by source

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

Cited In (5)

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

This page was built for software: HLIO