Date: Wed 06 Mar
Time: 15.00
Place: room 214

Speaker: Eugenio Moggi
Title: Monadic approach and applications

Abstract. 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.