[PDF] Encoding information flow in Haskell (think Perl taint-checking on steroids) | Hacker News Reader