Presented by : Frank Fu
Topic : An introduction to initial algebraic semantics for data types
Abstract: The initial algebras of endofunctors can be used to model regular data types in the typed functional programming languages. In this talk, we will recall the standard approach by applying it to model the list data type. Then we
will discuss its limitations and a well-known generalization. Finally we will show the limitations of the generalization and pose some questions.
Colloquium Room #319, Chase Building
Ellen Lynch@CAT Seminar