# steshaw/plt

**Attribution required: if you use, quote, or summarise this content, you must credit and link back to [awesome-repositories.com](https://awesome-repositories.com/repository/steshaw-plt).**

5,325 stars · 343 forks · CSS

## Links

- GitHub: https://github.com/steshaw/plt
- Homepage: https://steshaw.org/plt/
- awesome-repositories: https://awesome-repositories.com/repository/steshaw-plt.md

## Topics

`category-theory` `functional-programming` `logic` `programming-languages` `proof-theory` `type-theory`

## Description

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.

## Tags

### Education & Learning Resources

- [Self-Study Guides](https://awesome-repositories.com/f/education-learning-resources/self-study-guides.md) — Provides a structured self-study guide for programming language theory from basics to advanced topics.
- [Curated Resource Indexes](https://awesome-repositories.com/f/education-learning-resources/curated-resource-indexes.md) — Provides an organized index of curated PLT resources by subtopic.
- [Curated Resource Lists](https://awesome-repositories.com/f/education-learning-resources/curated-resource-lists.md) — Hand-picks each resource to ensure relevance and quality for PLT study.
- [Reading Lists](https://awesome-repositories.com/f/education-learning-resources/educational-resources/reference-and-media/tutorials-media-curated-lists/learning-directories/reading-lists.md) — Curated reading list of books, papers, and talks for PLT study.
- [Educational Resource Collections](https://awesome-repositories.com/f/education-learning-resources/educational-resource-collections.md) — Maintains an educational resource collection focused on module systems.
- [Recursion Schemes](https://awesome-repositories.com/f/education-learning-resources/technical-domain-education/technical-academic-domains/algorithmic-design-analysis/recursion-schemes.md) — Curates resources on recursion schemes, a key functional programming concept. ([source](https://steshaw.org/plt/category-theory/recursion-schemes.html))

### Part of an Awesome List

- [Curated Lists and Directories](https://awesome-repositories.com/f/awesome-lists/more/curated-lists-and-directories.md) — Hand-picked bibliography of PLT books, papers, and talks.

### Content Management & Publishing

- [Markdown-Based Knowledge Bases](https://awesome-repositories.com/f/content-management-publishing/content-management-systems/content-architecture-modeling/markdown-ecosystem-tools/markdown-based-knowledge-bases.md) — Ships resource listings as plain markdown files with links and annotations.

### Development Tools & Productivity

- [Theory Resources](https://awesome-repositories.com/f/development-tools-productivity/documentation-discovery-metadata/developer-discovery-platforms/developer-discovery-portals/curated-resource-lists/programming-language-resources/theory-resources.md) — Organizes PLT resources into subtopic sections for structured self-study. ([source](https://steshaw.org/plt/))

### Programming Languages & Runtimes

- [Module Systems](https://awesome-repositories.com/f/programming-languages-runtimes/language-ecosystems-tooling/module-management/module-systems.md) — Curates resources on module systems, including modular type classes and functors.

### Repository Format

- [Index Pages](https://awesome-repositories.com/f/repository-format/index-pages.md) — Aggregates links to all subtopic resource pages on a single central index page.

### Software Engineering & Architecture

- [Directory-Based Organization](https://awesome-repositories.com/f/software-engineering-architecture/directory-based-organization.md) — Organizes PLT resources into separate directories for each subtopic for easy navigation.