Proceedings of the ACM on Programming Languages
About
The 1.5k papers published in Proceedings of the ACM on Programming Languages in the last decades have received a total of 9.6k indexed citations.
Papers published in Proceedings of the ACM on Programming Languages usually cover Artificial Intelligence (1.1k papers), Computational Theory and Mathematics (538 papers) and Information Systems (408 papers) specifically the topics of Logic, programming, and type systems (771 papers), Formal Methods in Verification (462 papers) and Parallel Computing and Optimization Techniques (373 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.
In The Last Decade
Explore journals with similar magnitude of impact
Top fields papers in The Washington Quarterly are covering Top fields papers in Acta Orthopaedica et Traumatologica Turcica are covering Top fields papers in Advances in Radiation Oncology are covering Top fields papers in Gland Surgery are covering Top fields papers in Teaching Philosophy are covering Top countries impacted by papers in Photonic Network Communications Top countries impacted by papers in Proceedings of the National Academy of Sciences India Section B Biological Sciences Top countries impacted by papers in History Workshop Journal