A Catalog of Research Compiler Infrastructures and Tools

Compilation of Functional Programming Languages using GCC is Andreas Bauer’s master’s thesis, which especially treats implementing tail calls in a compiler that uses C and GCC as a backend.

The Mercury Project has several papers on compiling Mercury to C: Compiling logic programs to C using GNU C as a portable assembler (.ps.gz), Code generation for Mercury (.ps.gz) and Compiling Mercury to high-level C code (.ps.gz).