Dive Deeper — Type Theory and Distributed Programming Languages

General Ideas

Category Theory

Golang

Rust

Functional Programming

Compiler Construction

Further Reading