[PDF] Encoding information flow in Haskell (think Perl taint-checking on steroids)cis.upenn.edu1 pointdfranke19 years ago