About , singhvik@upenn.edu Presenter Mohamed Abaker Specification and Verification of Functional Programs: Verifying Haskell’s IntMap View Poster
