Back to Calendar

Tuesday, May 5, 2015

4:15 PM - 5:30 PM (ET)

ESC 638

Event Type

Lecture

Contact

Janet Burge, jburge@wesleyan.edu

Department

Academic

Link

https://eaglet.wesleyan.edu/MasterCalendar/EventDetails.aspx?EventDetailId=48431

Abstract: Algebraic data types are central to typed functional programming, sitting at a happy intersection of theory and practice. I will define and give examples of algebraic data types, and then go on to explain what is meant by the derivative of an algebraic data type. In the second part of the talk I will show how to constrain algebraic data types by a given regular expression, including finding derivatives a special case. No particular background is assumed; my goal is to convey not a particular result per se, but rather an appreciation for some of the beautiful overlap between algebra, combinatorics, calculus, and computer science.