Computational Formal Semantics: Meeting 5

Plan for the April 30 (11 am-12 pm) meeting: discuss algebraic data types, type parameters and recursive data structures, i.e., most of the chapter Making Our Own Types and Typeclasses (script available on eCommons). These are the last Haskell-related notions that we need to understand pretty much everything in the “Computational Semantics” textbook by van Eijck & Unger. We’ll spend the rest of the quarter going through about 5-6 chapters of this textbook; the material can be pretty tough going every now and then, but definitely eye-opening and worth it. Scripts and other materials will be available on eCommons as usual.