Live briefing
Everything about Symposium on Principles of Programming Languages
Academic conference in the field of computer science
The annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) is an academic conference in the field of computer science, with focus on fundamental principles in the design, definition, analysis, and implementation of programming languages, programming systems, and programming interfaces. The venue is jointly sponsored by two Special Interest Groups of the Association for Computing Machinery: SIGPLAN and SIGACT. Wikipedia →
🧠Start here: a 6-step reading path
- Read the overview: Symposium on Principles of Programming LanguagesA 5-minute orientation
- Pick up a classic book: Conference record of POPL 2003The most-reprinted book on the subject
- Read the landmark paper: Papers from the second ACM symposium on principles of programming languagesCited 0 times
- Go sideways: Matthew FlattA closely related topic
- Go sideways: Matthias FelleisenA closely related topic
đź“– Definitions
No dictionary entry for this exact phrase.
🗂️ The subject at a glance
🏆 Landmark papers (most cited)
đź“š Books worth reading
- 📕Conference record of POPL 2003ACM Symposium on Principles of Programming Languages (30th 2003 New Orleans, La.) · 2003
Conference record of POPL '00ACM Symposium on Principles of Programming Languages (27th 2000 Boston, Mass.) · 2000- 📕Conference record of the Seventh Annual ACM Symposium on Principles of Programming LanguagesACM Symposium on Principles of Programming Languages (7th 1980 Las Vegas, Nev.) · 1980
Conference Record of the 15th Annual Acm Symposium on Principles of Programming Languages, 1988 (Annual Symposium on Principles of Programming Languages)Acm Symposium on Principles of Programming Languages · 1988
Conference Record of the Seventeenth Annual Acm Symposium on Principles of Programming Languages: Papers Presented at the SymposiumAcm Symposium on Principles of Programming Languages · 1990- 📕Conference Record of the 10th Annual Acm Symposium on Principles of Programming LanguagesAcm Symposium on Principles of Programming Languages · 1983
- 📕Conference Record of the 13th Annual Acm Symposium on Principles of Programming Languages, 1986Acm Symposium on Principles of Programming Languages · 1986
- 📕Conference Record of the 14th Annual Acm Symposium on Principles of Programming Languages, 1987Acm Symposium on Principles of Programming Languages · 1987
Ranked by number of editions on Open Library, a rough measure of how lasting a book is.
đź”— Related topics
- Matthew Flatt Matthew Flatt is an American computer scientist and professor at the University of Utah School of Computing in Salt Lake City. He is also the leader of…
- Matthias Felleisen Matthias Felleisen is a German-American computer science professor and author. He grew up in Germany and immigrated to the US in his twenties. He received…
- Principal type In type theory, a type system is said to have the principal type property if, given a term and an environment, there exists a principal type for this term…
- Geometry of interaction In proof theory, the Geometry of Interaction (GoI) was introduced by Jean-Yves Girard shortly after his work on linear logic. In linear logic, proofs can…
- Pointer analysis In computer science, pointer analysis, or points-to analysis, is a static code analysis technique that establishes which pointers, or heap references,…
- Refinement type In type theory, a refinement type is a type endowed with a predicate which is assumed to hold for any element of the refined type. Refinement types can…
- Polyvariance In program analysis, a polyvariant or context-sensitive analysis (as opposed to a monovariant or context-insensitive analysis) analyzes each function multiple…
- International Conference on Functional Programming The International Conference on Functional Programming (ICFP) is an annual academic conference in the field of computer science sponsored by the ACM SIGPLAN…