| 1999 | Typed Memory Management in a Calculus of Capabilities. | Karl Crary, David Walker, J. Gregory Morrisett |
| 1999 | Software Watermarking: Models and Dynamic Embeddings. | Christian S. Collberg, Clark D. Thomborson |
| 1999 | Relevant Context Inference. | Ramkrishna Chatterjee, Barbara G. Ryder, William Landi |
| 1999 | Types for Mobile Ambients. | Luca Cardelli, Andrew D. Gordon |
| 1999 | A Core Calculus of Dependency. | Martn Abadi, Anindya Banerjee, Nevin Heintze, Jon G. Riecke |
| 1998 | A Type System for Java Bytecode Subroutines. | Raymie Stata, Martn Abadi |
| 1998 | Secure Information Flow in a Multi-Threaded Imperative Language. | Geoffrey Smith, Dennis M. Volpano |
| 1998 | Dynamic Typing as Staged Type Inference. | Mark Shields, Tim Sheard, Simon L. Peyton Jones |
| 1998 | Second-Order Unification and Type Inference for Church-Style Polymorphism. | Aleksy Schubert |
| 1998 | Data Flow Analysis is Model Checking of Abstract Interpretations. | David A. Schmidt |
| 1998 | A Typed Language for Distributed Mobile Processes (Extended Abstract). | James Riely, Matthew Hennessy |
| 1998 | Local Type Inference. | Benjamin C. Pierce, David N. Turner |
| 1998 | From Polyvariant Flow Information to Intersection and Union Types. | Jens Palsberg, Christina Pavlopoulou |
| 1998 | Static Typing for Dynamic Messages. | Susumu Nishimura |
| 1998 | Java | Tobias Nipkow, David von Oheimb |
| 1998 | From System F to Typed Assembly Language. | J. Gregory Morrisett, David Walker, Karl Crary, Neal Glew |
| 1998 | A Functional Representation of Data Structures with a Hole. | Yasuhiko Minamide |
| 1998 | Security Properties of Typed Applets. | Xavier Leroy, Franois Rouaix |
| 1998 | Array SSA Form and Its Use in Parallelization. | Kathleen Knobe, Vivek Sarkar |
| 1998 | Bridging the Gulf: A Common Intermediate Language for ML and Haskell. | Simon L. Peyton Jones, Mark Shields, John Launchbury, Andrew P. Tolmach |
| 1998 | Inference of Polymorphic and Conditional Strictness Properties. | Thomas P. Jensen |
| 1998 | Single and Loving It: Must-Alias Analysis for Higher-Order Languages. | Suresh Jagannathan, Peter Thiemann, Stephen Weeks, Andrew K. Wright |
| 1998 | Parallelization in Calculational Forms. | Zhenjiang Hu, Masato Takeichi, Wei-Ngan Chin |
| 1998 | The SLam Calculus: Programming with Secrecy and Integrity. | Nevin Heintze, Jon G. Riecke |
| 1998 | Higher-Order unCurrying. | John Hannan, Patrick Hicks |