Friday, November 3, 2023 4:00pm to 5:00pm
Keynote Speaker: Garrett Morris
Title: On Extensibility
This talk will introduce my research on programming languages, exemplified by some recent results on modularity and extensible data types. My research into programming languages and their type systems is guided by two overriding goals. On the one hand, types should precisely specify program behavior, allowing programmers to rule out classes of erroneous behavior. On the other, types should enable expressive tools, allowing...