Encoding information flow in Haskell | IEEE Conference Publication | IEEE Xplore