For our second meetup Robert Weisser will present on Abstract and Algebraic Data Types and Ben Sherman will be doing an introductory presentation for the Curry-Howard correspondence.