Download
Curated roadmap to Programming Language Theory, collecting seminal papers, books, and resources into a navigable structure for self-study. It spans foundational topics like lambda calculus, type systems, interpreters, compilers, and formal semantics, while also pointing to contemporary areas such as effect systems, dependent types, and verification. Each section clusters materials by theme so learners can build understanding step by step instead of grazing at random. The list emphasizes primary sources and high-quality lectures, encouraging readers to engage with rigorous treatments rather than superficial summaries. It’s designed to serve both as a starting guide for newcomers and as a reference index for experienced practitioners, filling in gaps. By treating PL theory as an accessible, progressive curriculum, the repository lowers the barrier to serious study without diluting the subject.
Features
- Organized material around core PL / type theory topics (modules, implicit parameters, effects, etc)
- Embedded code snippets (e.g. SML / OCaml / ML-style) tied to theoretical concepts
- Bibliographic pointers and references to published papers (e.g. Yallop’s effects bibliography)
- Hyperlinked structure for navigating topics, cross referencing related themes
- Self-hosted website / documentation view
- Encourages contributions and expansions of topics by others
Project Samples
