This is a curated collection of resources designed for self-directed study in programming language theory. It functions as a structured reading list and bibliography covering major topics including semantics, type systems, module systems, and recursion schemes. Each major subtopic—such as module systems and recursion schemes—has its own dedicated directory of carefully selected papers, talks, and articles.
The collection is hand-picked by the curator to ensure relevance and quality. Resources are organized by subtopic into separate markdown files, and the entire repository is version-controlled with Git, making it straightforward to navigate, contribute to, and track changes over time.