Dal Alert!

Receive alerts from Dalhousie by text message.

X

@CAT Seminar

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.

Category

Lectures, Seminars

Time

Starts:
Ends:

Location

Colloquium Room #319, Chase Building

Cost

Free

Contact

Ellen Lynch