Proceedings of the ACM on Programming Languages

1.4k papers and 9.5k indexed citations i.

The 1.4k papers published in Proceedings of the ACM on Programming Languages in the last decades have received a total of 9.5k indexed citations. Papers published in Proceedings of the ACM on Programming Languages usually cover Artificial Intelligence (1.1k papers), Computational Theory and Mathematics (536 papers) and Information Systems (407 papers) specifically the topics of Logic, programming, and type systems (771 papers), Formal Methods in Verification (460 papers) and Parallel Computing and Optimization Techniques (371 papers). The most active scholars publishing in Proceedings of the ACM on Programming Languages are Lars Birkedal, Derek Dreyer, Robbert Krebbers, Işıl Dillig and Viktor Vafeiadis