books.md

Selected Books for Computer Language Processing

The following books contain overlapping material with some recommendations for most relevant parts:

• Modern compiler implementation in ML. Read Sections 2.1-2.4 for Lexical analysis, Sections 3.1-3.2 for parsing, and 5.3-5.4 as well as 16.1-16.3 for type checking
• Discrete Mathematics and Its Applications by Kenneth H. Rosen (8th edition), available in the library and you may have it already. Useful backround is in sections 1.7, 1.8, 2.1, 2.2, 5.1, 5.3, 9.1, 9.2, 13.1, 13.3, 13.4
• Basics of Compiler Design. Online! Read pages 9-88 (omit Section 2.8) for lexical analysis and parsing
• Compilers, principle, techniques and tools