PL Papers Index 📚¶
A curated index of papers from the top Programming Languages venues, with keywords, abstracts, and cross-references.
Venues Covered¶
| Venue | Full Name | Focus |
|---|---|---|
| POPL | Principles of Programming Languages | Foundations, type theory, semantics |
| PLDI | Programming Language Design and Implementation | Compilers, analysis, optimization |
| OOPSLA | Object-Oriented Programming, Systems, Languages and Applications | OOP, dynamic languages |
| ECOOP | European Conference on Object-Oriented Programming | OOP, type systems |
| ICFP | International Conference on Functional Programming | Functional languages, type theory |
Browse by Topic¶
- Type Systems — Foundational type theory
- Subtyping — Subtype relations and coercions
- Intersection Types — Intersection and union types
- Dependent Types — Dependent type theory
- Gradual Typing — Static/dynamic type mixing
- Formal Verification — Proof assistants and verification
- Concurrency — Concurrent and parallel programming
- Compilers — Compiler techniques
- Program Analysis — Static and dynamic analysis
Recent Papers¶
Most Recent Additions
Start with 2026 for the latest work.
How to Read Entries¶
Each paper entry includes:
- Title, authors, venue, year
- Abstract summary
- Keywords for quick scanning
- Links: PDF (open access / ACM DL), DOI
- Related: prior work, follow-up papers
Maintained by Oguri Cap. Updated regularly.