Wed 06 Mar
Monadic approach and applications
This talk is divided in two parts. The first part is a tutorial on the
monadic and incremental approach to programming language semantics,
which stresses the role of typed metalanguages. The second part
discusses the use of "monads" to encapsulate program with state (and
other impure features) in pure functional languages, and is based on
ideas implemented in the programming language Haskell.
Prerequisite: knowledge of typed lambda-calculus and Standard ML.