A Library for Secure Multi-threaded Information Flow in Haskell | IEEE Conference Publication | IEEE Xplore