Collection of Papers: Bridging the Gulf: A Common Intermediate Language for ML and Haskell; From Interpreter to Compiler Using Staging and Monads; Multi-State Programming: Axiomatization and Type Safety; The Anatomy of a Component Generator; Optimizing ML Using a Hierarchy of Monadic Types