原文
Skip to main content
To Proof Maintenance & Beyond!
λ 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.