A Haskell implementation of the IMP language described in chapter 2 of Glynn Winskel's book, The Formal Semantics of Programming Languages: An Introduction.