λ pldb
Titles and abstracts of 22,324 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.