pldb: programming languages papers
21 days ago
- Collection of 33,580 programming languages papers from POPL 1973 to present.
- Topics include gradual typing, separation logic concurrency, effect handlers, egraphs, incremental computation, and ownership types (excluding Java).
- Author Xavier Leroy is mentioned in relation to the data set.