Philip Wadler guest talk on Functional Programming and Type Theory

Philip Wadler, one of the co-creators of the Haskell programming language, will be giving a talk at Noisebridge. Come chat about functional programming, type theory, the Curry-Howard correspondence, category theory, and whatever else!