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

DOI10.1145/2784731.2784758zbMath1360.68316OpenAlexW2028705369MaRDI QIDQ2981972

Pablo Buiras, Dimitrios Vytiniotis, Alejandro Russo

Publication date: 10 May 2017

Published in: Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/2784731.2784758

zbMATH Keywords

gradual typingdynamic typingsingleton typesinformation-flow controlconstraint kindsdata kindshybrid typing

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Related Items (4)

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

Uses Software

• Haskell
• Flow Caml

This page was built for publication: HLIO: mixing static and dynamic typing for information-flow control in Haskell