Ressources

Programming Languages Theory

Type Theory

Papers

• Algebraic Effects in C
• Agda's Foetus Termination Checker

Books

• Gentle Introduction To Dependent Types With Idris
• Types And Programming Languages
• Proofs And Types
• Advanced Topics In Types And Programming Languages
• Intuitionistic Type Theory
• Building Blocks For Theoretical Computer Science
• Programming In Martin-Löf's Type Theory

Blog Posts/Tutorials

• Hindley-Milner Typesystem
• Algebraic Effects For The Rest Of Us
• Programming Language Foundation In Agda
• Computational Category Theory

Interpreter

Tutorials

• Write Yourself A Scheme in 48H (Haskell)
• Crafting Interpreters (Java and C)
• Prolog interpreter in C#

Compilers

Papers

• Compiling Pattern Matching Efficiently
• An Incremental Approach To Compiler Construction

Books

• Dragon Book/Compilers Principles, Techniques And Tools

Blog Posts/Tutorials

• A Compiler Writing Journey
• Simple JIT in Rust
• Adventures In Jit Compilation

Typecheckers

Blog Posts/Tutorials

• Algorithm W in Typescript
• Prolog interpreter in C#

Maths

Category Theory

• Category Theory For Programmers

Algebra

• A Computational Introduction To Number Theory And Algebra
• Geometric Algebra

Miscellaneous

• Discrete Mathematics And Its Application
• A Programmer Introduction To Mathematics

Programming

OS Development

• OSDev website
• Writing an OS in Rust
• Write A Simple Memory Allocator

Algorithmic

• Competitive Programmer's Handbook

Games

• Games Programming Patterns
• Emulator101

IA

• Nano Neuron, Neuronal Network Introduction In Javascript

Other Lists

• Build Your Own ..
• Awesome Compilers