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

Pablo Buiras Dimitrios Vytiniotis Alejandro Russo

Published in: ICFP (2015)

Keyphrases

information flow control
information flow
functional programming
programming language
plagiarism detection
functional language
data sets
neural network
social networks
information systems
intrusion detection
case study
open source
blind source separation
puts forward
eye typing