Proceedings of the ACM on Programming Languages
About
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
In The Last Decade
Explore journals with similar magnitude of impact
Top fields papers in Journal of Asian and African Studies are covering Top fields papers in Resonance are covering Top countries impacted by papers in Policy Futures in Education Top fields papers in Ethical Theory and Moral Practice are covering Top journals impacted by papers in Journal of Entrepreneurship and Sustainability Issues Top fields papers in International Journal of Foundations of Computer Science are covering Top fields papers in International Journal of Systems Assurance Engineering and Management are covering Top journals impacted by papers in Proceedings of the Steklov Institute of Mathematics