ACM-SIGACT Symposium on Principles of Programming Languages

POPL

CORE rank

CORE rank (raw)

Acceptance rate

26.0% (2024)

Fields of research

Software Engineering

Papers indexed

1,604

1973–2017

Best Software Engineering conferences

Papers per year

197368 peak2017

Most published authors

POPL papers

1,604 records sourced from DBLP. Search titles, filter by year, sort by recency.

Year	Title	Authors
1984	Systems Programming in Concurrent Prolog.	Ehud Shapiro
1984	Treat - An Applicative Code Generator.	Jerald S. Schwarz, Dean Rubine
1984	Interactive Proof Checking.	Thomas W. Reps, Bowen Alpern
1984	The Global Storage Needs of a Subcomputation.	Jean-Claude Raoult, Ravi Sethi
1984	Grids: A New Program Structuring Mechanism Based on Layered Graphs.	Harold Ossher
1984	Editing by Example.	Robert P. Nix
1984	Efficient Applicative Data Types.	Eugene W. Myers
1984	A Less Dynamic Memory Allocation Scheme for Algol-like Languages.	Thomas P. Murtagh
1984	Coercion and Type Inference.	John C. Mitchell
1984	Static Inference of Properties of Applicative Programs.	Prateek Mishra, Robert M. Keller
1984	Direct Implementation of Compiler Specifications or the Pascal P-code Compiler Revisited.	Don Milos, Uwe F. Pleban, George Loegel
1984	An Ideal Model for Recursive Polymorphic Types.	David B. MacQueen, Gordon D. Plotkin, Ravi Sethi
1984	Completion of a Set of Rules Modulo a Set of Equations.	Jean-Pierre Jouannaud, Hlne Kirchner
1984	Applicative Programming and Digital Design.	Steven D. Johnson
1984	A Combinator-Based Compiler for a Functional Language.	Paul Hudak, David A. Kranz
1984	Implementation of an Interpreter for Abstract Equations.	Christoph M. Hoffmann, Michael J. O'Donnell
1984	The Semantics of Local Storage, or What Makes the Free-List Free?	Joseph Y. Halpern, Albert R. Meyer, Boris A. Trakhtenbrot
1984	A Good Hoare Axiom System for an Algol-like Language.	Joseph Y. Halpern
1984	On Relative Completeness of Programming Logics.	Michal Grabowski
1984	Generalized Fair Termination.	Nissim Francez, Dexter Kozen
1984	Efficient Implementation of the Smalltalk-80 System.	L. Peter Deutsch, Allan M. Schiffman
1984	Constraining-Unification and the Programming Language Unicorn.	Robert G. Bandes
1983	On the Unification of Data and Program Abstraction in Ada.	Peter Wegner
1983	Summarizing Graphs by Regular Expressions.	Mark N. Wegman
1983	Loops in Combinator-Based Compilers.	Mitchell Wand

1,326–1,350 of 1,604← Previous Next →

Comparable venues

Other A*/A conferences filed under the same field of research.