Symposium on Principles of Programming Languages: Difference between revisions

Content deleted Content added

Revision as of 17:38, 9 August 2023 edit Jim Dixon 55104 (talk \| contribs) Extended confirmed users 8,338 edits No edit summary Tags: Mobile edit Mobile app edit Android app edit ← Previous edit		Latest revision as of 09:31, 2 August 2025 edit undo SchlurcherBot (talk \| contribs) Bots 59,052 edits m Bot: http → https
(One intermediate revision by one other user not shown)
Line 19: * [[Types in Language Design and Implementation]] (TLDI) * [[Verification, Model Checking and Abstract Interpretation]] (VMCAI) * [[Languages for Inference]] (LAFI) == See also == Line 29 ⟶ 30: == External links == * {{Official website\|~~http~~https://www.sigplan.org/Conferences/POPL}} * [http://students.engr.scu.edu/~sschaeck/acceptancerates/ Acceptance Rates of Compiler Conferences]