Type Theory with Records for Natural Language Semantics (website for 2012 NASSLI course)