pldb: programming languages papers

λ pldb Titles and abstracts of 33,580 programming languages papers, from the first POPL in 1973 to this year's proceedings. Try gradual typing, author:"Xavier Leroy", "separation logic" concurrency, effect handlers, title:egraphs, incremental computation, ownership types -java. Top tier More venues