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

Pablo Buiras, Dimitrios Vytiniotis, Alejandro Russo

Browse the full ICFP paper archive.