HLIO

swMATH22611MaRDI QIDQ34402

No author found.

Described by source

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

Related Items (2)

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

This page was built for software: HLIO