| 1998 | A Functional Representation of Data Structures with a Hole. Yasuhiko Minamide |
| 1998 | A Type System for Java Bytecode Subroutines. Raymie Stata, Martín Abadi |
| 1998 | A Typed Language for Distributed Mobile Processes (Extended Abstract). James Riely, Matthew Hennessy |
| 1998 | Alias Analysis of Executable Code. Saumya K. Debray, Robert Muth, Matthew Weippert |
| 1998 | Array SSA Form and Its Use in Parallelization. Kathleen Knobe, Vivek Sarkar |
| 1998 | Barrier Inference. Alexander Aiken, David Gay |
| 1998 | Bridging the Gulf: A Common Intermediate Language for ML and Haskell. Simon L. Peyton Jones, Mark Shields, John Launchbury, Andrew P. Tolmach |
| 1998 | Classes and Mixins. Matthew Flatt, Shriram Krishnamurthi, Matthias Felleisen |
| 1998 | Correctness of Monadic State: An Imperative Call-by-Need Calculus. Zena M. Ariola, Amr Sabry |
| 1998 | Data Flow Analysis is Model Checking of Abstract Interpretations. David A. Schmidt |
| 1998 | Dynamic Typing as Staged Type Inference. Mark Shields, Tim Sheard, Simon L. Peyton Jones |
| 1998 | Edge Profiling versus Path Profiling: The Showdown. Thomas Ball, Peter Mataga, Shmuel Sagiv |
| 1998 | Escape Analysis: Correctness Proof, Implementation and Experimental Results. Bruno Blanchet |
| 1998 | Fast Interprocedural Class Analysis. Greg DeFouw, David Grove, Craig Chambers |
| 1998 | From Polyvariant Flow Information to Intersection and Union Types. Jens Palsberg, Christina Pavlopoulou |
| 1998 | From System F to Typed Assembly Language. J. Gregory Morrisett, David Walker, Karl Crary, Neal Glew |
| 1998 | Higher-Order unCurrying. John Hannan, Patrick Hicks |
| 1998 | Inference of Polymorphic and Conditional Strictness Properties. Thomas P. Jensen |
| 1998 | Java Tobias Nipkow, David von Oheimb |
| 1998 | Local Type Inference. Benjamin C. Pierce, David N. Turner |
| 1998 | Manufacturing Cheap, Resilient, and Stealthy Opaque Constructs. Christian S. Collberg, Clark D. Thomborson, Douglas Low |
| 1998 | Maximal Static Expansion. Denis Barthou, Albert Cohen, Jean-Francois Collard |
| 1998 | POPL '98, Proceedings of the 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Diego, CA, USA, January 19-21, 1998 David B. MacQueen, Luca Cardelli |
| 1998 | Parallel Beta Reduction is not Elementary Recursive. Andrea Asperti, Harry G. Mairson |
| 1998 | Parallelization in Calculational Forms. Zhenjiang Hu, Masato Takeichi, Wei-Ngan Chin |
| 1998 | Path-Sensitive Value-Flow Analysis. Rastislav Bodík, Sadun Anik |
| 1998 | Putting Pointer Analysis to Work. Rakesh Ghiya, Laurie J. Hendren |
| 1998 | Second-Order Unification and Type Inference for Church-Style Polymorphism. Aleksy Schubert |
| 1998 | Secure Information Flow in a Multi-Threaded Imperative Language. Geoffrey Smith, Dennis M. Volpano |
| 1998 | Security Properties of Typed Applets. Xavier Leroy, François Rouaix |
| 1998 | Single and Loving It: Must-Alias Analysis for Higher-Order Languages. Suresh Jagannathan, Peter Thiemann, Stephen Weeks, Andrew K. Wright |
| 1998 | Static Typing for Dynamic Messages. Susumu Nishimura |
| 1998 | The SLam Calculus: Programming with Secrecy and Integrity. Nevin Heintze, Jon G. Riecke |