[PL-sem-jr] The Expression Problem & Inductive Data Types (7/13 11am)

[Max New]

We will introduce the so-called "Expression Problem", which reveals a
duality between functional and object-oriented programming styles.

We will present a solution to the expression problem in Haskell, known as
"Final Encoding". On the way we will introduce initial algebra semantics of
inductive data types.

-Max Stewart New
-------------- next part --------------
HTML attachment scrubbed and removed