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
1991	The Complexity of Type Inference for Higher-Order Typed Lambda Calculi.	Fritz Henglein, Harry G. Mairson
1991	A Record Calculus Based on Symmetric Concatenation.	Robert Harper, Benjamin C. Pierce
1991	Typing First-Class Continuations in ML.	Bruce F. Duba, Robert Harper, David B. MacQueen
1991	Parameter-Passing and the Lambda Calculus.	Erik Crank, Matthias Felleisen
1991	Static and Dynamic Semantics Processing.	Charles Consel, Olivier Danvy
1991	Macros That Work.	William D. Clinger, Jonathan Rees
1991	Automatic Construction of Sparse Data Flow Evaluation Graphs.	Jong-Deok Choi, Ron Cytron, Jeanne Ferrante
1991	"Look Ma, No Hashing, And No Arrays Neither".	Jiazhen Cai, Robert Paige
1991	Subtyping Recursive Types.	Roberto M. Amadio, Luca Cardelli
1991	Static Type Inference in a Dynamically Typed Language.	Alexander Aiken, Brian R. Murphy
1991	A Relational Approach to Strictness Analysis for Higher-Order Polymorphic Functions.	Samson Abramsky, Thomas P. Jensen
1991	A Logical View of Composition and Refinement.	Martn Abadi, Gordon D. Plotkin
1990	Quasi-Static Typing.	Satish R. Thatte
1990	Making Asynchronous Parallelism Safe for the World.	Guy L. Steele Jr.
1990	On the Relations Computable by a Class of Concurrent Automata.	Eugene W. Stark
1990	Small Domains Spell Fast Strictness Analysis.	R. C. Sekar, Shaunak Pawagi, I. V. Ramakrishnan
1990	Concurrent Constraint Programming.	Vijay A. Saraswat, Martin C. Rinard
1990	On Oraclizable Networks and Kahn's Principle.	James R. Russell
1990	Safe Run-time Overloading.	Franois Rouaix
1990	Automata-Driven Indexing of Prolog Clauses.	R. Ramesh, I. V. Ramakrishnan, David Scott Warren
1990	Parallelism in Logic Programs.	Raghu Ramakrishnan
1990	Scheduling Time-Critical Instructions on RISC Machines.	Krishna V. Palem, Barbara B. Simons
1990	Computable processes.	Yiannis N. Moschovakis
1990	Toward a Typed Foundation for Method Specialization and Inheritance.	John C. Mitchell
1990	An Efficient Hybrid Algorithm for Incremental Data Flow Analysis.	Thomas J. Marlowe, Barbara G. Ryder

1,126–1,150 of 1,604← Previous Next →

Comparable venues

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