| 1992 | A Compilation Method for ML-Style Polymorphic Record Calculi. Atsushi Ohori |
| 1992 | A Comprehensive Study of the Complexity of Multiparty Interaction. Yuh-Jzer Joung, Scott A. Smolka |
| 1992 | A Mark-and-Sweep Collector for C++. Daniel R. Edelson |
| 1992 | A Semantics for ML Concurrency Primitives. Dave Berry, Robin Milner, David N. Turner |
| 1992 | Abstract Semantics for a Higher-Order Functional Language with Logic Variables. Radha Jagadeesan, Keshav Pingali |
| 1992 | Algorithmic Aspects of Type Inference with Subtypes. Patrick Lincoln, John C. Mitchell |
| 1992 | Bounded Fixed Point Iteration. Hanne Riis Nielson, Flemming Nielson |
| 1992 | Bounded Quantification is Undecidable. Benjamin C. Pierce |
| 1992 | Compile-Time Analysis of Parallel Programs that Share Memory. Jyh-Herng Chow, Williams Ludwell Harrison III |
| 1992 | Composable Attribute Grammars: Support for Modularity in Translator Design and Implementation. Rodney Farrow, Thomas J. Marlowe, Daniel M. Yellin |
| 1992 | Conference Record of the Nineteenth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Albuquerque, New Mexico, USA, January 19-22, 1992 Ravi Sethi |
| 1992 | Garbage Collecting the World. Bernard Lang, Christian Queinnec, José M. Piquer |
| 1992 | Generalized Dominators and Post-Dominators. Rajiv Gupta |
| 1992 | Generating a Compiler for a Lazy Language by Partial Evaluation. Jesper Jørgensen |
| 1992 | Inductive Definitions, Semantics and Abstract Interpretation. Patrick Cousot, Radhia Cousot |
| 1992 | Linear Continuations. Andrzej Filinski |
| 1992 | Model Checking and Abstraction. Edmund M. Clarke, Orna Grumberg, David E. Long |
| 1992 | Modeling Prolog Control. Roberto Barbuti, Michael Codish, Roberto Giacobazzi, Giorgio Levi |
| 1992 | Observable Sequentiality and Full Abstraction. Robert Cartwright, Matthias Felleisen |
| 1992 | Optimally Profiling and Tracing Programs. Thomas Ball, James R. Larus |
| 1992 | PER Models of Subtyping, Recursive Types and Higher-Order Polymorphism. Kim B. Bruce, John C. Mitchell |
| 1992 | Parametricity as Subtyping. Qingming Ma |
| 1992 | Partial Evaluation of High-Level Imperative Programming Languages, with Applications in Hard Real-Time Systems. Vivek Nirkhe, William W. Pugh |
| 1992 | Pattern-Based Tree Attribution. Charles Farnum |
| 1992 | Principal Signatures for Higher-Order Program Modules. Mads Tofte |
| 1992 | Recognizing Substrings of LR(k) Languages in Linear Time. Joseph Bates, Alon Lavie |
| 1992 | Semantic Foundations of Jade. Martin C. Rinard, Monica S. Lam |
| 1992 | The Essence of Functional Programming. Philip Wadler |
| 1992 | The Geometry of Optimal Lambda Reduction. Georges Gonthier, Martín Abadi, Jean-Jacques Lévy |
| 1992 | Type Isomorphisms in a Type-Assignment Framework. Roberto Di Cosmo |
| 1992 | Typing Record Concatenation for Free. Didier Rémy |
| 1992 | Unboxed Objects and Polymorphic Typing. Xavier Leroy |