| 1999 | A Decidable Logic for Describing Linked Data Structures. Michael Benedikt, Thomas W. Reps, Shmuel Sagiv |
| 1999 | A Per Model of Secure Information Flow in Sequential Programs. Andrei Sabelfeld, David Sands |
| 1999 | A Programming Logic for Sequential Java. Arnd Poetzsch-Heffter, Peter Müller |
| 1999 | An Idealized MetaML: Simpler, and More Expressive. Eugenio Moggi, Walid Taha, Zine-El-Abidine Benaissa, Tim Sheard |
| 1999 | An Operational Investigation of the CPS Hierarchy. Olivier Danvy, Zhe Yang |
| 1999 | Constructor Subtyping. Gilles Barthe, Maria João Frade |
| 1999 | Deterministic Expressions in C. Michael Norrish |
| 1999 | Dynamic Programming via Static Incrementalization. Yanhong A. Liu, Scott D. Stoller |
| 1999 | Expressing Structural Properties as Language Constructs. Shriram Krishnamurthi, Yan-David Erlich, Matthias Felleisen |
| 1999 | Functional Reactive Programming (Abstract). Paul Hudak |
| 1999 | Higher-Order Code Splicing. Peter Thiemann |
| 1999 | Interprocedural Control Flow Analysis. Flemming Nielson, Hanne Riis Nielson |
| 1999 | Polytypic Compact Printing and Parsing. Patrik Jansson, Johan Jeuring |
| 1999 | Programming Languages and Systems, 8th European Symposium on Programming, ESOP'99, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, 22-28 March, 1999, Proceedings S. Doaitse Swierstra |
| 1999 | Quotienting Andy King, Jan-Georg Smaus, Patricia M. Hill |
| 1999 | Safe and Principled Language Interoperation. Valery Trifonov, Zhong Shao |
| 1999 | Set-Based Failure Analysis for Logic Programs and Concurrent Constraint Programs. Andreas Podelski, Witold Charatonik, Martin Müller |
| 1999 | Type-Based Decompilation (or Program Reconstruction via Type Reconstruction). Alan Mycroft |
| 1999 | Types and Subtypes for Client-Server Interactions. Simon J. Gay, Malcolm Hole |
| 1999 | Types for Safe Locking. Cormac Flanagan, Martín Abadi |