Associated material for the paper

"Pick'n'Fix: Capturing Control Flow in Modular Compilers"

Laurence E. Day and Patrick Bahr



Contents:

 * The "code" subdirectory contains the full source code of the
   modular compiler implementation, including the modular semantics of
   the source and target languages:

   - Compiler.hs: Compiler implementation.
   - CompilerCont.hs: Amends the compiler implementation from
     Compiler.hs with a different implementation of exceptions.
   - Evaluator.hs: Semantics of the source languages.
   - Examples.hs: Example programs, their evaluation and their
     compilation.
   - Fixpoint.hs: Fixpoint representation of data types.
   - Graph.hs: Graph representation based on structured graphs.
   - HFixpoints.hs: Fixpoint representation of GADTs.
   - SourceLanguage.hs: Syntax of the source languages.
   - TargetLanguage.hs: Syntax of the target languages.
   - VirtualMachine.hs: Semantics of the target languages.


 * The "paper" subdirectory contains the literate Haskell files from
   which the paper was compiled.
