Write You a Haskell: Building a modern functional compiler from first principles
by Stephen Diehl
Publisher: StephenDiehl.com 2015
Number of pages: 246
We will build a small functional language called Fun which is a partial Haskell 2010 toy language; complete with a parser, type inference, datatypes, pattern matching, desugaring, typeclasses, higher-kinded types, monadic IO, arbitrary-rank polymorphism, records, Core language, STG intermediate language, lazy evaluation, interpreter, native code generator, a runtime, and several optimization passes.
Home page url
Download or read it online for free here:
by Dirk Vermeir - Vrije Universiteit Brussel
Contents: Introduction; Lexical analysis; Parsing; Checking static semantics; Intermediate code generation; Optimization of intermediate code; Code generation; Introduction to x86 Assembler Programming under Linux; Mc: the Micro-x86 Compiler; etc.
by Niklaus Wirth, Jürg Gutknecht
Here are the results of Project Oberon, which goal was to design an entire system from scratch. It gives advice on how a system might be built, and demonstrates how one was built. Program listings alone contain the ultimate explanations.
by Nils M Holm - Lulu Press
This book explains compiler construction in simple terms and by means of practical examples, but without avoiding the fundamental theory. It does not stop where other books do, and takes you on a tour through the whole compilation process.
by Torben Mogensen - Lulu.com
The book written for use in an introductory compiler course. It is intended to convey the general picture without going into extreme detail. It should give the students an understanding of how compilers work and the ability to make simple compilers.