Compositional compiler construction: Oberon0

• Oberon0 compiler implemented using the techniques proposed in the CoCoCo project.
• Built from pre-compiled, statically type-checked language-definition fragments.
• Written in Haskell.

We describe an implementation of an Oberon0 compiler using the techniques proposed in the CoCoCo project. The compiler is constructed out of a collection of pre-compiled, statically type-checked language-definition fragments written in Haskell.