☄️ Books

Modern Compiler Implementation in ML

• 1 - Introduction
• 2 - Lexical Analysis
• 3 - Parsing
• 4 - Abstract Syntax
• 5 - ...

Seven Languages in Seven Weeks

• 1 - Introduction
• 2 - Ruby
• 3 - Io
• 4 - Prolog
• 5 - Scala

Programming languages foundations in Agda

• 1 - Naturals
• 2 - Induction
• 3 - Relations
• 4 - Equality
• 5 - Isomorphism
• 6 - Connectives
• 7 - Negation
• 8 - Quantifiers
• 9 - Decidable
• 10 - Lists
• 11 - Lambda
• 12 - Properties
• 13 - DeBruijn
• 14 - More
• 15 - Bisimulation
• 16 - Inference
• 17 - Untyped
• 18 - Confluence
• 19 - BigStep