Dal Alert!

Receive alerts from Dalhousie by text message.

X

@CAT Seminar

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

Time

Starts:
Ends:

Location

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.