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
1992	The Essence of Functional Programming.	Philip Wadler
1992	Principal Signatures for Higher-Order Program Modules.	Mads Tofte
1992	Semantic Foundations of Jade.	Martin C. Rinard, Monica S. Lam
1992	Typing Record Concatenation for Free.	Didier Rmy
1992	Bounded Quantification is Undecidable.	Benjamin C. Pierce
1992	A Compilation Method for ML-Style Polymorphic Record Calculi.	Atsushi Ohori
1992	Partial Evaluation of High-Level Imperative Programming Languages, with Applications in Hard Real-Time Systems.	Vivek Nirkhe, William W. Pugh
1992	Bounded Fixed Point Iteration.	Hanne Riis Nielson, Flemming Nielson
1992	Parametricity as Subtyping.	QingMing Ma
1992	Algorithmic Aspects of Type Inference with Subtypes.	Patrick Lincoln, John C. Mitchell
1992	Unboxed Objects and Polymorphic Typing.	Xavier Leroy
1992	Garbage Collecting the World.	Bernard Lang, Christian Queinnec, Jos M. Piquer
1992	A Comprehensive Study of the Complexity of Multiparty Interaction.	Yuh-Jzer Joung, Scott A. Smolka
1992	Generating a Compiler for a Lazy Language by Partial Evaluation.	Jesper Jrgensen
1992	Abstract Semantics for a Higher-Order Functional Language with Logic Variables.	Radha Jagadeesan, Keshav Pingali
1992	Generalized Dominators and Post-Dominators.	Rajiv Gupta
1992	The Geometry of Optimal Lambda Reduction.	Georges Gonthier, Martn Abadi, Jean-Jacques Lvy
1992	Linear Continuations.	Andrzej Filinski
1992	Composable Attribute Grammars: Support for Modularity in Translator Design and Implementation.	Rodney Farrow, Thomas J. Marlowe, Daniel M. Yellin
1992	Pattern-Based Tree Attribution.	Charles Farnum
1992	A Mark-and-Sweep Collector for C++.	Daniel R. Edelson
1992	Inductive Definitions, Semantics and Abstract Interpretation.	Patrick Cousot, Radhia Cousot
1992	Type Isomorphisms in a Type-Assignment Framework.	Roberto Di Cosmo
1992	Model Checking and Abstraction.	Edmund M. Clarke, Orna Grumberg, David E. Long
1992	Compile-Time Analysis of Parallel Programs that Share Memory.	Jyh-Herng Chow, Williams Ludwell Harrison III

1,076–1,100 of 1,604← Previous Next →

Comparable venues

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