| 1991 | "Look Ma, No Hashing, And No Arrays Neither". Jiazhen Cai, Robert Paige |
| 1991 | A Dynamic Extent Control Operator for Partial Continuations. Christian Queinnec, Bernard P. Serpette |
| 1991 | A Logical View of Composition and Refinement. Martín Abadi, Gordon D. Plotkin |
| 1991 | A Record Calculus Based on Symmetric Concatenation. Robert Harper, Benjamin C. Pierce |
| 1991 | A Relational Approach to Strictness Analysis for Higher-Order Polymorphic Functions. Samson Abramsky, Thomas P. Jensen |
| 1991 | Algebraic Reconstruction of Types and Effects. Pierre Jouvelot, David K. Gifford |
| 1991 | An Extension of Standard ML Modules with Subtyping and Inheritance. John C. Mitchell, Sigurd Meldal, Neel Madhav |
| 1991 | Automatic Construction of Sparse Data Flow Evaluation Graphs. Jong-Deok Choi, Ron Cytron, Jeanne Ferrante |
| 1991 | Communication with Directed Logic Variables. Alon Kleinman, Yael Moscowitz, Amir Pnueli, Ehud Shapiro |
| 1991 | Conference Record of the Eighteenth Annual ACM Symposium on Principles of Programming Languages, Orlando, Florida, USA, January 21-23, 1991 David S. Wise |
| 1991 | Coordinating First-Order Multiparty Interactions. Yuh-Jzer Joung, Scott A. Smolka |
| 1991 | Dependence Flow Graphs: An Algebraic Approach to Program Dependencies. Keshav Pingali, Micah D. Beck, Richard Johnson, Mayan Moudgill, Paul Stodghill |
| 1991 | Fully Abstract Translations between Functional Languages. Jon G. Riecke |
| 1991 | How to Make Destructive Updates Less Destructive. Martin Odersky |
| 1991 | Incremental Compilation via Partial Evaluation. R. S. Sundaresh, Paul Hudak |
| 1991 | Macros That Work. William D. Clinger, Jonathan Rees |
| 1991 | Modeling Concurrency with Geometry. Vaughan R. Pratt |
| 1991 | Modeling Continuations without Continuations. Dorai Sitaram, Matthias Felleisen |
| 1991 | On the Power and Limitation of Strictness Analysis Based on Abstract Interpretation. R. C. Sekar, Prateek Mishra, I. V. Ramakrishnan |
| 1991 | Optimal Derivations in Weak Lambda-calculi and in Orthogonal Terms Rewriting Systems. Luc Maranget |
| 1991 | Parallel Programming With Coordination Structures. Steven Lucco, Oliver Sharp |
| 1991 | Parameter-Passing and the Lambda Calculus. Erik Crank, Matthias Felleisen |
| 1991 | Pointer-Induced Aliasing: A Problem Classification. William Landi, Barbara G. Ryder |
| 1991 | Polymorphic Type Inference and Assignment. Xavier Leroy, Pierre Weis |
| 1991 | Program Optimization and Parallelization Using Idioms. Shlomit S. Pinter, Ron Y. Pinter |
| 1991 | Semantic Foundations of Concurrent Constraint Programming. Vijay A. Saraswat, Martin C. Rinard, Prakash Panangaden |
| 1991 | Static Type Inference in a Dynamically Typed Language. Alexander Aiken, Brian R. Murphy |
| 1991 | Static and Dynamic Semantics Processing. Charles Consel, Olivier Danvy |
| 1991 | Subtyping Recursive Types. Roberto M. Amadio, Luca Cardelli |
| 1991 | Temporal Proof Methodologies for Real-time Systems. Thomas A. Henzinger, Zohar Manna, Amir Pnueli |
| 1991 | The Complexity of Type Inference for Higher-Order Typed Lambda Calculi. Fritz Henglein, Harry G. Mairson |
| 1991 | Typing First-Class Continuations in ML. Bruce F. Duba, Robert Harper, David B. MacQueen |