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 Social Anthropology are covering Top fields papers in Journal of Raptor Research are covering Top countries impacted by papers in International Journal of American Linguistics Top fields papers in Sustainable Water Resources Management are covering Top countries impacted by papers in Western North American Naturalist Top fields papers in Hospital Pediatrics are covering Top countries impacted by papers in International Journal of Steel Structures Top countries impacted by papers in Journal of ExtraCorporeal Technology