Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 227,741,317 papers from all fields of science
Search
Sign In
Create Free Account
Symposium on Principles of Programming Languages
Known as:
POPL
, ACM Symposium on Principles of Programming Languages
, Annual ACM Symposium on Principles of Programming Languages
Expand
The annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) is an academic conference in the field of computer science…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
10 relations
ACM SIGACT
Abstract interpretation
Computer science
Function composition (computer science)
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages
Giuseppe Castagna
,
A. Gordon
ACM-SIGACT Symposium on Principles of Programming…
2017
Corpus ID: 9288406
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2017)
Review
2009
Review
2009
Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Zhong Shao
,
B. Pierce
ACM-SIGACT Symposium on Principles of Programming…
2009
Corpus ID: 59698536
Welcome to the Thirty-Sixth Symposium on Principles of Programming Languages, held Wednesday, January 21st, through Friday…
Expand
Review
2008
Review
2008
Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
G. Necula
,
P. Wadler
ACM-SIGACT Symposium on Principles of Programming…
2008
Corpus ID: 59804589
Welcome to the Thirty-Fifth Symposium on the Principles of Programming Languages, held Thursday 10--Saturday 12 January 2008 in…
Expand
Review
2006
Review
2006
Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Greg Morrisett
,
S. Jones
ACM-SIGACT Symposium on Principles of Programming…
2006
Corpus ID: 61783457
It is my great pleasure to welcome you to POPL'06, the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages…
Expand
Review
2004
Review
2004
Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2004, Venice, Italy, January 14-16, 2004
N. Jones
,
X. Leroy
ACM-SIGACT Symposium on Principles of Programming…
2004
Corpus ID: 21937086
This volume contains the papers presented at POPL'04, the Thirty-First Annual ACM SIGPLAN-SIGACT Symposium on Principles of…
Expand
Review
2003
Review
2003
Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A. Aiken
,
Greg Morrisett
ACM-SIGACT Symposium on Principles of Programming…
2003
Corpus ID: 59780744
This volume contains the papers and abstracts presented at POPL'03, the Thirtieth Annual ACM SIGPLAN-SIGACT Symposium on…
Expand
1983
1983
Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
K. Kennedy
,
Mary S. Van Deusen
,
L. Landweber
1983
Corpus ID: 58297102
The papers in this volume were presented at the Tenth Annual ACM Symposium on the Principals of Programming Languages, sponsored…
Expand
1980
1980
Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
P. Abrahams
,
R. Lipton
,
S. Bourne
ACM-SIGACT Symposium on Principles of Programming…
1980
Corpus ID: 61750067
The papers in this volume were presented at the Eighth Annual ACM Symposium on Principals of Programming Languages, sponsored…
Expand
1978
1978
Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
A. Aho
,
S. Zilles
,
B. Rosen
1978
Corpus ID: 59869027
The papers in this volume were presented at the Fifth Annual ACM Symposium on Principals of Programming Languages, sponsored…
Expand
1973
1973
Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages
S. Graham
,
R. M. Graham
,
M. Harrison
,
W. Grosky
,
J. Ullman
1973
Corpus ID: 60645476
The papers in this volume were presented at the Fourth ACM Symposium on Principals of Programming Languages, sponsored jointly by…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE