Write You a Haskell: Building a Modern Functional Compiler from First Principles

 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.

Title Write You a Haskell: Building a Modern Functional Compiler from First Principles
Author(s) Stephen Diehl
Publisher: StephenDiehl.com (2015 )
Hardcover/Paperback N/A
eBook HTML and PDF
Language: English
ISBN-10: N/A
ISBN-13: N/A
Download: http://dev.stephendiehl.com/fun/

Compiler Design in C

 Introduces the basics of compiler design, concentrating on the second pass (in a typical four-pass compiler), consisting of a lexical analyzer, parser, and a code generator. Uses the C language. Appropriate for compiler courses in CS departments.

For students, working engineers and programmers, this book teaches real-world compiler design concepts and implementation. The text dedicates the first chapter to an overview of the basic concepts in C programming, and presents a complete C compiler, including the complete sources for three compiler-generation tools (written in ANSI C).

It also uses LeX and yacc to develop a complete C compiler, and includes a chapter dedicated to the coverage of C++ topics and features.

Title CCompiler Design in C
Author(s) Allen I. Holub
Publisher: Prentice-Hall (1990)
Hardcover 924 pages,
eBook PDF (986 pages, 18.3 MB)
Language: English
ISBN-10: 0131550454
ISBN-13: 978-0131550452
Download: http://www.holub.com/software/compiler.design.in.c.html

Compiler Design: Theory, Tools, and Examples

 This is an introductory level text for compiler design courses, that emphasizes problem solving skills. The concepts are clearly presented with sampler problems and diagrams to illustrate the concepts. The text also covers lex and yacc two compiler generating tools in UNIX.

Title Compiler Design: Theory, Tools, and Examples
Author(s) Seth D. Bergmann
Publisher: Rowan University 2010
Language: English
eBook: http://elvis.rowan.edu/~bergmann/books/c_cpp/Text/readme.html