This talk on Types and Object-Oriented Programming was held on Friday October 14, 2016 in MC 5479. The talk was given by Nikita Kapustin.
Abstract
I'll be talking about how to use basic types like sets and functions to construct other types and use them to represent objects.