| 1997 | A Curry-Howard Foundation for Functional Computation with Control. C.-H. Luke Ong, Charles A. Stewart |
| 1997 | A Demand-Driven Set-Based Analysis. Sandip K. Biswas |
| 1997 | A Unified Computation Model for Functional and Logic Programming. Michael Hanus |
| 1997 | Automatic Verification of Parameterized Linear Networks of Processes. David Lesens, Nicolas Halbwachs, Pascal Raymond |
| 1997 | Behavioral Equivalence in the Polymorphic Pi-calculus. Benjamin C. Pierce, Davide Sangiorgi |
| 1997 | Call by Need Computations to Root-Stable Form. Aart Middeldorp |
| 1997 | Comparing the Expressive Power of the Synchronous and the Asynchronous pi-calculus. Catuscia Palamidessi |
| 1997 | Conference Record of POPL'97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Papers Presented at the Symposium, Paris, France, 15-17 January 1997 Peter Lee, Fritz Henglein, Neil D. Jones |
| 1997 | Constraints to Stop Higher-Order Deforestation. Helmut Seidl, Morten Heine Sørensen |
| 1997 | Denotational Semantics Using an Operationally-Based Term Model. Mitchell Wand, Gregory T. Sullivan |
| 1997 | Determining the Idle Time of a Tiling. Karin Högstedt, Larry Carter, Jeanne Ferrante |
| 1997 | Fast and Accurate Flow-Insensitive Points-To Analysis. Marc Shapiro, Susan Horwitz |
| 1997 | First-class Polymorphism with Type Inference. Mark P. Jones |
| 1997 | From SOS Rules to Proof Principles: An Operational Metatheory for Functional Languages. David Sands |
| 1997 | High Level Reading and Data Structure Compilation. Robert Paige, Zhe Yang |
| 1997 | Infinitary Control Flow Analysis: a Collecting Semantics for Closure Analysis. Hanne Riis Nielson, Flemming Nielson |
| 1997 | Is "Just in Time" = "Better Late than Never"? Michael P. Plezbert, Ron Cytron |
| 1997 | Maximizing Parallelism and Minimizing Synchronization with Affine Transforms. Amy W. Lim, Monica S. Lam |
| 1997 | Minimal Typings in Atomic Subtyping. Jakob Rehof |
| 1997 | Model Checking for Programming Languages using Verisoft. Patrice Godefroid |
| 1997 | Objective ML: A Simple Object-Oriented Extension of ML. Didier Rémy, Jerome Vouillon |
| 1997 | On the Complexity of Escape Analysis. Alain Deutsch |
| 1997 | Parameterized Types for Java. Andrew C. Myers, Joseph A. Bank, Barbara Liskov |
| 1997 | Partitioning Dataflow Analyses Using Types. Erik Ruf |
| 1997 | Pizza into Java: Translating Theory into Practice. Martin Odersky, Philip Wadler |
| 1997 | Polyp - A Polytypic Programming Language. Patrik Jansson, Johan Jeuring |
| 1997 | Program Fragments, Linking, and Modularization. Luca Cardelli |
| 1997 | Proof-Carrying Code. George C. Necula |
| 1997 | Reducing Nondeterminism while Specializing Logic Programs. Alberto Pettorossi, Maurizio Proietti, Sophie Renault |
| 1997 | Relational Parametricity and Units of Measure. Andrew Kennedy |
| 1997 | Rolling Your Own MADT - A Connection Between Linear Types and Monads. Chih-Ping Chen, Paul Hudak |
| 1997 | Search and Imperative Programming. Krzysztof R. Apt, Andrea Schaerf |
| 1997 | Shape Types. Pascal Fradet, Daniel Le Métayer |
| 1997 | Synchronization Transformations for Parallel Computing. Pedro C. Diniz, Martin C. Rinard |
| 1997 | The Pi-calculus in Direct Style. Gérard Boudol |
| 1997 | Type-Checking Higher-Order Polymorphic Multi-Methods. François Bourdoncle, Stephan Merz |
| 1997 | Types as Abstract Interpretations. Patrick Cousot |
| 1997 | Typing Algorithm in Type Theory with Inheritance. Amokrane Saïbi |