pldb: programming languages papers
12 hours 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.