steshaw/plt
Plt
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.
Features
- Self-Study Guides - Provides a structured self-study guide for programming language theory from basics to advanced topics.
- Curated Lists and Directories - Hand-picked bibliography of PLT books, papers, and talks.
- Markdown-Based Knowledge Bases - Ships resource listings as plain markdown files with links and annotations.
- Theory Resources - Organizes PLT resources into subtopic sections for structured self-study.
- Curated Resource Indexes - Provides an organized index of curated PLT resources by subtopic.
- Curated Resource Lists - Hand-picks each resource to ensure relevance and quality for PLT study.
- Reading Lists - Curated reading list of books, papers, and talks for PLT study.
- Educational Resource Collections - Maintains an educational resource collection focused on module systems.
- Recursion Schemes - Curates resources on recursion schemes, a key functional programming concept.
- Module Systems - Curates resources on module systems, including modular type classes and functors.
- Index Pages - Aggregates links to all subtopic resource pages on a single central index page.
- Directory-Based Organization - Organizes PLT resources into separate directories for each subtopic for easy navigation.
