Title: Haskell, Logics and Embedded Languages

Abstract:
The type system of Haskell allows for quick experimentation with new languages, and in turn logics. This session is meant to be a hands-on session in which we go through the motions of experimenting with embedding a simple logic, and later a small domain-specific language in Haskell, and logic/program semantics, interpretations, manipulation and generators. QuickCheck will also be used to experiment with conjectures about transformations allowing for the building of intuition about the logic/language. No knowledge of Haskell will be assumed, but please bring along a machine with the Haskell Platform (http://www.haskell.org/platform/) and a text editor 
installed.