| 1999 | A Compositional Account of the Java Virtual Machine. Phillip M. Yelland |
| 1999 | A Core Calculus of Dependency. Martín Abadi, Anindya Banerjee, Nevin Heintze, Jon G. Riecke |
| 1999 | A Simple, Comprehensive Type System for Java Bytecode Subroutines. Robert O'Callahn |
| 1999 | Aggregate Structure Identification and Its Application to Program Analysis. G. Ramalingam, John Field, Frank Tip |
| 1999 | AnnoDomini: From Type Theory to Year 2000 Conversion Tool. Peter Harry Eidorff, Fritz Henglein, Christian Mossin, Henning Niss, Morten Heine Sørensen, Mads Tofte |
| 1999 | Constraint Systems for Useless Variable Elimination. Mitchell Wand, Igor Siveroni |
| 1999 | Continuous Grammars. Martin Ruckert |
| 1999 | Dependent Types in Practical Programming. Hongwei Xi, Frank Pfenning |
| 1999 | Extending the Scope of Syntactic Abstraction. Oscar Waddell, R. Kent Dybvig |
| 1999 | Improvement in a Lazy Context: An Operational Theory for Call-by-Need. Andrew Moran, David Sands |
| 1999 | JFlow: Practical Mostly-Static Information Flow Control. Andrew C. Myers |
| 1999 | Once Upon a Polymorphic Type. Keith Wansbrough, Simon L. Peyton Jones |
| 1999 | Optimal Code Selection in DAGs. M. Anton Ertl |
| 1999 | POPL '99, Proceedings of the 26th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Antonio, TX, USA, January 20-22, 1999 Andrew W. Appel, Alex Aiken |
| 1999 | Parametric Shape Analysis via 3-Valued Logic. Shmuel Sagiv, Thomas W. Reps, Reinhard Wilhelm |
| 1999 | Principality and Decidable Type Inference for Finite-Rank Intersection Types. A. J. Kfoury, J. B. Wells |
| 1999 | Quasi-Linear Types. Naoki Kobayashi |
| 1999 | Relevant Context Inference. Ramkrishna Chatterjee, Barbara G. Ryder, William Landi |
| 1999 | Representing Layered Monads. Andrzej Filinski |
| 1999 | Software Watermarking: Models and Dynamic Embeddings. Christian S. Collberg, Clark D. Thomborson |
| 1999 | Stochastic Processes as Concurrent Constraint Programs. Vineet Gupta, Radha Jagadeesan, Prakash Panangaden |
| 1999 | Trust and Partial Typing in Open Systems of Mobile Agents. James Riely, Matthew Hennessy |
| 1999 | Type-Based Analysis of Uncaught Exceptions. François Pessaux, Xavier Leroy |
| 1999 | Type-Safe Linking and Modular Assembly Language. Neal Glew, J. Gregory Morrisett |
| 1999 | Typed Memory Management in a Calculus of Capabilities. Karl Crary, David Walker, J. Gregory Morrisett |
| 1999 | Types for Mobile Ambients. Luca Cardelli, Andrew D. Gordon |