| 1986 | "Type" Is Not A Type. Albert R. Meyer, Mark B. Reinhold |
| 1986 | A Maximum-Flow Approach to Anomaly Isolation in Unification-Based Incremental Type Inference. Gregory F. Johnson, Janet A. Walz |
| 1986 | A Mechanically Certified Theorem about Optimal Concurrency of Sorting Networks. Christian Lengauer, Chua-Huang Huang |
| 1986 | A Parallel Language and its Compilation to Multiprocessor Machines or VLSI. Marina C. Chen |
| 1986 | A Really Abstract Concurrent Model and its Temporal Logic. Howard Barringer, Ruurd Kuiper, Amir Pnueli |
| 1986 | Annotations for Distributed Programming in Logic. Raghu Ramakrishnan, Abraham Silberschatz |
| 1986 | Atomic Data Abstractions in a Distributed Collaborative Editing System. Irene Greif, Robert Seliger, William E. Weihl |
| 1986 | Code Motion of Control Structures in High-Level Languages. Ron Cytron, Andy Lowry, F. Kenneth Zadeck |
| 1986 | Compilers and Staging Transformations. Ulrik Jørring, William L. Scherlis |
| 1986 | Conference Record of the Thirteenth Annual ACM Symposium on Principles of Programming Languages, St. Petersburg Beach, Florida, USA, January 1986 |
| 1986 | Data Flow Analysis of Applicative Programs Using Minimal Function Graphs. Neil D. Jones, Alan Mycroft |
| 1986 | Distributed Data Structures in Linda. Nicholas Carriero, David Gelernter, Jerrold Leichter |
| 1986 | Dynamically Bypassing Copy Rule Chains in Attribute Grammars. Roger Hoover |
| 1986 | Equational Logic Programming: An Extension to Equational Programming. Jia-Huai You, P. A. Subrahmanyam |
| 1986 | Executable Specifications with Quantifiers in the FASE System. Stan Jefferson, Samuel N. Kamin |
| 1986 | Expressing Interesting Properties of Programs in Propositional Temporal Logic. Pierre Wolper |
| 1986 | Finding the Source of Type Errors. Mitchell Wand |
| 1986 | Global Storage Allocation in Attribute Evaluation. Takuya Katayama, Hisashi Sasaki |
| 1986 | Hierarchical VLSI Design Systems Based on Attribute Grammars. Larry G. Jones, Janos Simon |
| 1986 | High-Quality Code Generation Via Bottom-Up Tree Pattern Matching. Philip J. Hatcher, Thomas W. Christopher |
| 1986 | Higher-Order Strictness Analysis in Untyped Lambda Calculus. Paul Hudak, Jonathan Young |
| 1986 | Limitations of Synchronous Communication with Static Process Structure in Languages for Distributed Computing. Barbara Liskov, Maurice Herlihy, Lucy Gilbert |
| 1986 | Logic and Inheritance. Hassan Aït-Kaci, Roger Nasr |
| 1986 | Operational Semantics of a Parallel Object-Oriented Language. Pierre America, Jaco de Bakker, Joost N. Kok, Jan J. M. M. Rutten |
| 1986 | Para-Functional Programming: A Paradigm for Programming Multiprocessor Systems. Paul Hudak, Lauren Smith |
| 1986 | Remote Attribute Updating for Language-Based Editors. Thomas W. Reps, Carla Marceau, Tim Teitelbaum |
| 1986 | Representation Independence and Data Abstraction. John C. Mitchell |
| 1986 | Retargetable High-Level Alias Analysis. Deborah S. Coutant |
| 1986 | Towards Programming with Knowledge Expressions. Reino Kurki-Suonio |
| 1986 | Unification in Many-Sorted Algebras as a Device for Incremental Semantic Analysis. Gregor Snelting, Wolfgang Henhapl |
| 1986 | Using Dependent Types to Express Modular Structure. David B. MacQueen |