Ensuring information security by using Haskell's advanced type system | IEEE Conference Publication | IEEE Xplore