@CAT Seminar

Frank Fu presents: An introduction to initial algebraic semantics for data types




Colloquium Room #319, Chase Building, Mathematics, Dalhousie University

Additional Information

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.