How to write a very simple JIT compiler

A complete computer science study plan to become a software engineer.

A collection of (mostly) technical things every software developer should know about

Synthesis of Heap-Manipulating Programs from Separation Logic

Purely Functional Algorithms and Data Structures in Scala

Учебник теории категорий

The Haskell performance checklist