| 1999 | A Categorical and Graphical Treatment of Closure Conversion. Ralf Schweimeier, Alan Jeffrey |
| 1999 | A Core Calculus of Classes and Objects. Viviana Bono, John C. Mitchell, Amit Patel, Vitaly Shmatikov |
| 1999 | Bisimulation in Untyped Lambda Calculus: Böhm Trees and Bisimulation up to Context. Søren B. Lassen |
| 1999 | Categorical Structure of Asynchrony. Peter Selinger |
| 1999 | Characterizing Topologies With Bounded Complete Computational Models. Krzysztof Ciesielski, Bob Flagg, Ralph Kopperman |
| 1999 | Completeness Classes of Equilogical Spaces. Reinhold Heckmann |
| 1999 | Confinement Properties for Multi-Threaded Programs. Geoffrey Smith, Dennis M. Volpano |
| 1999 | Contractible Coherence Spaces and Maximal Maps. Hongde Hu |
| 1999 | Denotational Semantics of Shape: Past, Present and Future. C. Barry Jay |
| 1999 | Direct Models for the Computational Lambda Calculus. Carsten Führmann |
| 1999 | Enforcing Security and Safety with Proof-Carrying Code. George C. Necula |
| 1999 | Fifteenth Conference on Mathematical Foundations of Progamming Semantics, MFPS 1999, Tulane University, New Orleans, LA, USA, April 28 - May 1, 1999 Stephen D. Brookes, Achim Jung, Michael W. Mislove, Andre Scedrov |
| 1999 | From Partial Orders with Projections to Domains. Ralph Kummetz |
| 1999 | Local Dcpos, Local Cpos and Local Completions. Michael W. Mislove |
| 1999 | Modularity and Dyads. John Power, Edmund Robinson |
| 1999 | On the Compact-regular Coreflection of a Stably Locally Compact Locale. Martín Hötzel Escardó |
| 1999 | Preface. Stephen D. Brookes, Achim Jung, Michael W. Mislove, Andre Scedrov |
| 1999 | Reasoning About Recursive Processes: Expansion is not Always Fair. Stephen D. Brookes |
| 1999 | Recursion and Corecursion Have the Same Equational Logic. Lawrence S. Moss |
| 1999 | Relating Natural Deduction and Sequent Calculus for Intuitionistic Non-Commutative Linear Logic. J. Polokow, Frank Pfenning |
| 1999 | Secrecy in Programming-Language Semantics. Martín Abadi |
| 1999 | Semantic Domains, Injective Spaces and Monads. Martín Hötzel Escardó, Bob Flagg |
| 1999 | Semantics-Driven Language Design: Statically Type-safe Virtual Types in Object-oriented Languages. Kim B. Bruce, Joseph Vanderwaart |
| 1999 | Strong fairness and Recursive Communicating Processes. Susan Older |
| 1999 | The Largest Topological Subcategory of Countably-based Equilogical Spaces. Matías Menni, Alex K. Simpson |
| 1999 | The MFPS XV Security Session. Catherine Meadows, Dennis M. Volpano |
| 1999 | Towards a Strand Semantics for Authentication Logic. Paul Syvreson |
| 1999 | Type-checking Balloon Types. Paulo Sérgio Almeida |
| 1999 | Using Abstract Interpretation for the Safe Verification of Security Protocols. Dominique Bolignano |