Cats. We'll talk about cats. (PL Foundations cohort!)
Victoria Lewis, Kyle Carter, Vikraman Choudhury
Abstract
You can’t go wrong with cats. Expect to hear about categorical semantics, lambda calculus, and internal logics. Something something whiskering.