new2시간 전· 1 sources
pldb: programming languages papers
Why it matters
λ 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 ...
1
Sources
+1
24h
—
Growth
1d
Active