1.SAFE HASKELLDavid Terei Simon Marlow David Mazières Simon Peyton JonesStanford University Microsoft Research2. MOTIVATIONHaskell is a great language for building secure…