HLIO

MaRDI QIDQ34402swMATHFDO

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